Thirty years of polynomial system solving, and now? (Q1006651): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2008.03.004
@@ Property / DOI: 10.1016/j.jsc.2008.03.004 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ISOLATE
@@ Property / describes a project that uses: ISOLATE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FGb
@@ Property / describes a project that uses: FGb / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAGlib
@@ Property / describes a project that uses: RAGlib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q55879445
@@ Property / Wikidata QID: Q55879445 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2008.03.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2093230301
@@ Property / OpenAlex ID: W2093230301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237377
@@ Property / cites work: Q4237377 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602882
@@ Property / cites work: Q3602882 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient computation of zero-dimensional Gröbner bases by change of ordering
+Normal rank
@@ Property / cites work @@
+A new efficient algorithm for computing Gröbner bases \((F_4)\)
+Normal rank
@@ Property / cites work @@
+Q4660688
@@ Property / cites work: Q4660688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237370
@@ Property / cites work: Q4237370 / rank @@
+Normal rank
@@ Property / cites work @@
+Using computer algebra to certify the global convergence of a numerical optimization process
+Normal rank
@@ Property / cites work @@
+A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
+Normal rank
@@ Property / cites work @@
+Algèbre linéaire sur $K[X_1,\dots,X_n]$ et élimination
+Normal rank
@@ Property / cites work @@
+Résolution des systèmes d'équations algébriques
+Normal rank
@@ Property / cites work @@
+Q3325833
@@ Property / cites work: Q3325833 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional algebraic systems
@@ Property / cites work: Solving zero-dimensional algebraic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335259
@@ Property / cites work: Q4335259 / rank @@
+Normal rank
@@ Property / cites work @@
+Injectivity of real rational mappings: the case of a mixture of two Gaussian laws
+Normal rank
@@ Property / cites work @@
+Solving parametric polynomial systems
@@ Property / cites work: Solving parametric polynomial systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and algebraic computation. EUROSAM '79, an international symposium on symbolic and algebraic manipulation, Marseille, France, June 1979
+Normal rank
@@ Property / cites work @@
+Projective modules over polynomial rings
@@ Property / cites work: Projective modules over polynomial rings / rank @@
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+Efficient isolation of polynomial's real roots.
@@ Property / cites work: Efficient isolation of polynomial's real roots. / rank @@
+Normal rank
@@ Property / cites work @@
+Testing sign conditions on a multivariate polynomial and applications
+Normal rank
@@ Property / cites work @@
+Q4124942
@@ Property / cites work: Q4124942 / rank @@
+Normal rank
@@ Property / cites work @@
+Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jsc/Lazard09
@@ Property / DBLP publication ID: journals/jsc/Lazard09 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2008.03.004
@@ Property / DOI: 10.1016/J.JSC.2008.03.004 / rank @@
+Normal rank