Solving multivariate polynomial systems using hyperplane arithmetic and linear programming
A new scalable algorithm for solving systems of multivariate polynomials. The concept of hyperplane arithmetic, which is used in our algorithm. A benchmark of example systems that are scalable in the number of variables. Implementation and comparison with previous algorithms.
subdivision solver multivariate solver geometric constraints