Certified Hermite Matrices from Approximate Roots - Univariate Case. | 0 | 0.34 | 2019 |
Certifying solutions to overdetermined and singular polynomial systems over ℚ. | 0 | 0.34 | 2018 |
Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra. | 0 | 0.34 | 2016 |