NobleBlocks
    Improved algorithms for solving bivariate systems via Rational Univariate Representations | NobleBlocks