Li, 2010. Toward high-performance polynomial system solvers based on triangular decompositions 43.. https://doi.org/10.1145/1823931.1823956