p-adic algorithm for bivariate Gröbner bases (Q6081975): Difference between revisions

@@ Property / cites work @@
+Topology and arrangement computation of semi-algebraic planar curves
+Normal rank
@@ Property / cites work @@
+Modular algorithms for computing Gröbner bases.
@@ Property / cites work: Modular algorithms for computing Gröbner bases. / rank @@
+Normal rank
@@ Property / cites work @@
+On constructing bases for ideals in polynomial rings over the integers
+Normal rank
@@ Property / cites work @@
+An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
+Normal rank
@@ Property / cites work @@
+Improved algorithm for computing separating linear forms for bivariate systems
+Normal rank
@@ Property / cites work @@
+Solving bivariate systems using rational univariate representations
+Normal rank
@@ Property / cites work @@
+Rational univariate representations of bivariate systems and applications
+Normal rank
@@ Property / cites work @@
+Q3325832
@@ Property / cites work: Q3325832 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Hilbert-Burch matrices for ideals of \(k[x,y]\)
+Normal rank
@@ Property / cites work @@
+Size of coefficients of lexicographical Groöbner bases
+Normal rank
@@ Property / cites work @@
+Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
+Normal rank
@@ Property / cites work @@
+Lifting techniques for triangular decompositions
@@ Property / cites work: Lifting techniques for triangular decompositions / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp estimates for triangular sets
@@ Property / cites work: Sharp estimates for triangular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for polynomials on algebraic numbers and application to curve topology
+Normal rank
@@ Property / cites work @@
+The membership problem for unmixed polynomial ideals is solvable in single exponential time
+Normal rank
@@ Property / cites work @@
+On the asymptotic and practical complexity of solving bivariate systems over the reals
+Normal rank
@@ Property / cites work @@
+Some comments on the modular approach to Gröbner-bases
+Normal rank
@@ Property / cites work @@
+On the complexity of solving a bivariate polynomial system
+Normal rank
@@ Property / cites work @@
+Computer Algebra in Scientific Computing
@@ Property / cites work: Computer Algebra in Scientific Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for diophantine approximations
@@ Property / cites work: Lower bounds for diophantine approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Straight-line programs in geometric elimination theory
+Normal rank
@@ Property / cites work @@
+Q4352797
@@ Property / cites work: Q4352797 / rank @@
+Normal rank
@@ Property / cites work @@
+A Gröbner free alternative for polynomial system solving
+Normal rank
@@ Property / cites work @@
+An improved upper complexity bound for the topology computation of a real algebraic plane curve
+Normal rank
@@ Property / cites work @@
+Spans in the module (<i>Z<sub>m</sub></i>)<sup><i>s</i></sup>
+Normal rank
@@ Property / cites work @@
+Change of Basis for m-primary Ideals in One and Two Variables
+Normal rank
@@ Property / cites work @@
+On the complexity of computing with planar algebraic curves
+Normal rank
@@ Property / cites work @@
+Sharp Effective Nullstellensatz
@@ Property / cites work: Sharp Effective Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix
+Normal rank
@@ Property / cites work @@
+Ideal basis and primary decompositions: case of two variables
+Normal rank
@@ Property / cites work @@
+On the complexity of solving bivariate systems
@@ Property / cites work: On the complexity of solving bivariate systems / rank @@
+Normal rank
@@ Property / cites work @@
+A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers
+Normal rank
@@ Property / cites work @@
+Computing syzygies in finite dimension using fast linear algebra
+Normal rank
@@ Property / cites work @@
+On lucky ideals for Gröbner basis computations
@@ Property / cites work: On lucky ideals for Gröbner basis computations / rank @@
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+On Solving Systems of Bivariate Polynomials
@@ Property / cites work: On Solving Systems of Bivariate Polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Computing parametric geometric resolutions
@@ Property / cites work: Computing parametric geometric resolutions / rank @@
+Normal rank
@@ Property / cites work @@
+On improving approximate results of Buchberger's algorithm by Newton's method
+Normal rank
@@ Property / cites work @@
+Modern Computer Algebra
@@ Property / cites work: Modern Computer Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A p-adic approach to the computation of Gröbner bases
+Normal rank