Thirty years of polynomial system solving, and now?
type: Item
instance of: scholarly article
title: Thirty years of polynomial system solving, and now?
zbMATH Open document ID: 1158.13314
author: D. Lazard
published in: Journal of Symbolic Computation
publication date: 2009-03-25T00:00:00Z
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 14Q99
Mathematics Subject Classification ID: 14P99
zbMATH DE Number: 5532869
zbMATH Keywords: polynomial system solving
zbMATH Keywords: effective algebraic geometry
zbMATH Keywords: cylindrical algebraic decomposition
zbMATH Keywords: topology of semi-algebraic sets
zbMATH Keywords: connected components
zbMATH Keywords: parametric system
zbMATH Keywords: algebraic optimization
zbMATH Keywords: radical equidimensional decomposition
describes a project that uses: ISOLATE
describes a project that uses: FGb
describes a project that uses: RAGlib
MaRDI profile type: Publication
Wikidata QID: Q55879445
full work available at URL: j.jsc.2008.03.004
OpenAlex ID: W2093230301
cites work: Q4237377
cites work: Automated Deduction in Geometry
cites work: Q3602882
cites work: Efficient computation of zero-dimensional Gröbner bases by change of ordering
cites work: A new efficient algorithm for computing Gröbner bases \((F_4)\)
cites work: Q4660688
cites work: Q4237370
cites work: Using computer algebra to certify the global convergence of a numerical optimization process
cites work: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
cites work: Algèbre linéaire sur $K[X_1,\dots,X_n]$ et élimination
cites work: Résolution des systèmes d'équations algébriques
cites work: Q3325833
cites work: Solving zero-dimensional algebraic systems
cites work: Q4335259
cites work: Injectivity of real rational mappings: the case of a mixture of two Gaussian laws
cites work: Solving parametric polynomial systems
cites work: Symbolic and algebraic computation. EUROSAM '79, an international symposium on symbolic and algebraic manipulation, Marseille, France, June 1979
cites work: Projective modules over polynomial rings
cites work: Solving zero-dimensional systems through the rational univariate representation
cites work: Efficient isolation of polynomial's real roots.
cites work: Testing sign conditions on a multivariate polynomial and applications
cites work: Q4124942
cites work: Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen
DBLP publication ID: journals/jsc/Lazard09
DOI: 10.1016/J.JSC.2008.03.004
description: scientific article; zbMATH DE number 5532869