Certified Hermite Matrices from Approximate Roots - Univariate Case (Q5014656): Difference between revisions

@@ Property / cites work @@
+Acceleration of Euclidean Algorithm and Rational Number Reconstruction
+Normal rank
@@ Property / cites work @@
+Exact solutions to linear systems of equations using output sensitive lifting
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing sum of squares decompositions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Q2872959
@@ Property / cites work: Q2872959 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of computing the greatest common divisor of several univariate polynomials
+Normal rank
@@ Property / cites work @@
+A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration
+Normal rank
@@ Property / cites work @@
+Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to solve integer linear systems exactly using numerical methods
+Normal rank