Complexity of quantifier elimination in the theory of algebraically closed fields

This publication has 11 references indexed in Scilit:

• Factoring multivariate polynomials over finite fields
  Published by Association for Computing Machinery (ACM) ,1983
• Factoring polynomials with rational coefficients
  Mathematische Annalen, 1982
• A polynomial-time reduction from bivariate to univariate integral polynomial factorization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• A polynomial reduction from multivariate to bivariate integral polynomial factorization.
  Published by Association for Computing Machinery (ACM) ,1982
• Multiplicative complexity of a bilinear form over a commutative ring
  Published by Springer Nature ,1981
• Resolution des systemes d'equations algebriques
  Theoretical Computer Science, 1981
• Algèbre linéaire sur $K[X_1,\dots,X_n]$ et élimination
  Bulletin de la Société Mathématiques de France, 1977
• IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper
  Published by Springer Nature ,1976
• Quantifier elimination for real closed fields by cylindrical algebraic decompostion
  Published by Springer Nature ,1975
• Basic Algebraic Geometry
  Published by Springer Nature ,1974