Quantifier Elimination and Cylindrical Algebraic Decomposition
暂无分享,去创建一个
[1] W. Cooley. Elementary Geometry , 1871, Nature.
[2] A. Hurwitz,et al. Über die Trägheitsformen eines algebraischen Moduls , 1913 .
[3] F. S. Macaulay,et al. The Algebraic Theory of Modular Systems , 1972 .
[4] G. Fischer,et al. Plane Algebraic Curves , 1921, Nature.
[5] Emil L. Post. Introduction to a General Theory of Elementary Propositions , 1921 .
[6] E. Artin,et al. Algebraische Konstruktion reeller Körper , 1927 .
[7] C. Kuratowski,et al. Les opérations logiques et les ensembles projectifs , 1931 .
[8] B. O. Koopman,et al. On the covering of analytic loci by complexes , 1932 .
[9] J. Barkley Rosser,et al. Extensions of some theorems of Gödel and Church , 1936, Journal of Symbolic Logic.
[10] A. Church. An Unsolvable Problem of Elementary Number Theory , 1936 .
[11] S. Kleene. General recursive functions of natural numbers , 1936 .
[12] J. C. C. McKinsey,et al. The decision problem for some classes of sentences without quantifiers , 1943, Journal of Symbolic Logic.
[13] W. Rogosinski,et al. The Geometry of the Zeros of a Polynomial in a Complex Variable , 1950, The Mathematical Gazette.
[14] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[15] Willard Van Orman Quine,et al. The Problem of Simplifying Truth Functions , 1952 .
[16] A. Seidenberg. A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA , 1954 .
[17] Willard Van Orman Quine,et al. A Way to Simplify Truth Functions , 1955 .
[18] George E. Collins. The Tarski decision procedure , 1956, ACM '56.
[19] H. Whitney. Elementary Structure of Real Algebraic Varieties , 1957 .
[20] Abraham Robinson. RELATIVE MODEL-COMPLETENESS AND THE ELIMINATION OF QUANTIFIERS1 , 1958 .
[21] W. Quine. On Cores and Prime Implicants of Truth Functions , 1959 .
[22] J. Milnor. On the Betti numbers of real varieties , 1964 .
[23] K. Mahler. An inequality for the discriminant of a polynomial. , 1964 .
[24] S. Kochen,et al. Diophantine Problems Over Local Fields I , 1965 .
[25] S. Kochen,et al. Diophantine Problems Over Local Fields: III. Decidable Fields , 1966 .
[26] George E. Collins. Polynomial Remainder Sequences and Determinants , 1966 .
[27] George E. Collins. PM, a system for polynomial manipulation , 1966, CACM.
[28] George E. Collins,et al. Subresultants and Reduced Polynomial Remainder Sequences , 1967, JACM.
[29] H. Warren. Lower bounds for approximation by nonlinear manifolds , 1968 .
[30] G. E. Collins. Computing time analyses for some arithmetic and algebraic algorithms , 1969 .
[31] Paul J. Cohen,et al. Decision procedures for real and p‐adic fields , 1969 .
[32] G. E. Collins. Computing Multiplicative Inverses in GF(p) , 1969 .
[33] Peter Lancaster,et al. The theory of matrices , 1969 .
[34] George E. Collins,et al. On the interpretability of arithmetic in set theory , 1970, Notre Dame J. Formal Log..
[35] Lee E. Heindel. Algorithms for exact polynomial root calculation , 1970, SIGS.
[36] D. Dubois. A nullstellensatz for ordered fields , 1970 .
[37] G. Kreisel,et al. Elements of Mathematical Logic: Model Theory , 1971 .
[38] Joseph F. Traub,et al. On Euclid's Algorithm and the Theory of Subresultants , 1971, JACM.
[39] Nripendra N. Biswas,et al. Minimization of Boolean Functions , 1971, IEEE Transactions on Computers.
[40] Lee E. Heindel,et al. Integer arithmetic algorithms for polynomial real zero determination , 1971, SYMSAC '71.
[41] José Sanmartín Esplugues. Introduction to model theory and to the metamathematics of algebra , 1971 .
[42] George E. Collins,et al. The Calculation of Multivariate Polynomial Resultants , 1971, JACM.
[43] D. Musser. Algorithms for polynomial factorization. , 1971 .
[44] George E. Collins. The SAC-1 system: An introduction and survey , 1971, SYMSAC '71.
[45] W. S. Brown. On Euclid's algorithm and the computation of polynomial greatest common divisors , 1971, SYMSAC '71.
[46] Albert R. Meyer,et al. WEAK MONADIC SECOND ORDER THEORY OF SUCCESSOR IS NOT ELEMENTARY-RECURSIVE , 1973 .
[47] G. E. Collins. Computer Algebra of Polynomials and Rational Functions , 1973 .
[48] Derek C. Oppen,et al. Elementary bounds for presburger arithmetic , 1973, STOC.
[49] Cyrenus Matthew Rubald. Algorithms for polynomials over a real algebraic number field. , 1973 .
[50] H. Hironaka. Triangulations of algebraic sets , 1974 .
[51] M. Fischer,et al. SUPER-EXPONENTIAL COMPLEXITY OF PRESBURGER ARITHMETIC , 1974 .
[52] D A Gudkov,et al. THE TOPOLOGY OF REAL PROJECTIVE ALGEBRAIC VARIETIES , 1974 .
[53] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report , 1974, SIGS.
[54] M. Mignotte. An inequality about factors of polynomials , 1974 .
[55] Daniel L. Ostapko,et al. MINI: A Heuristic Approach for Logic Minimization , 1974, IBM J. Res. Dev..
[56] Richard M. Karp. Complexity of Computation , 1974 .
[57] Ellis Horowitz,et al. The minimum root separation of a polynomial , 1974 .
[58] Joos Heintz,et al. An efficient quantifier elimination algorithm for algebraically closed fields of any characteristic , 1975, SIGS.
[59] Jeanne Ferrante,et al. A Decision Procedure for the First Order Theory of Real Addition with Order , 1975, SIAM J. Comput..
[60] O Zariski. On equimultiple subvarieties of algebroid hypersurfaces. , 1975, Proceedings of the National Academy of Sciences of the United States of America.
[61] Volker Weispfenning. Model-completeness and elimination of quantifiers for subdirect products of structures , 1975 .
[62] Alkiviadis G. Akritas,et al. Polynomial real root isolation using Descarte's rule of signs , 1976, SYMSAC '76.
[63] H. R. Wüthrich,et al. Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper , 1976, Komplexität von Entscheidungsproblemen 1976.
[64] Rüdiger G. K. Loos,et al. The algorithm description language ALDES (report) , 1976, SIGS.
[65] Barry M. Trager,et al. Algebraic factoring and rational function integration , 1976, SYMSAC '76.
[66] Angus Macintyre,et al. On definable subsets of p-adic fields , 1976, Journal of Symbolic Logic.
[67] George E. Collins,et al. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis , 1976, SIGS.
[68] Volker Weispfenning,et al. On the elementary theory of Hensel fields , 1976 .
[69] Leonard Berman,et al. Precise bounds for presburger arithmetic and the reals with addition: Preliminary report , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[70] G. E. Collins. Infallible Calculation of Polynomial Zeros to Specified Precision , 1977 .
[71] David R. Musser,et al. Analysis of the Pope-Stein Division Algorithm , 1977, Information Processing Letters.
[72] Markus Lauer. A solution to Kahan's problem (SIGSAM problem no. 9) , 1977, SIGS.
[73] Donald W. Loveland,et al. Presburger arithmetic with bounded quantifier alternation , 1978, STOC.
[74] William S. Massey,et al. Homology and cohomology theory: W. S. Massey, Dekker, 1978, 412 pp. , 1978 .
[75] P. J. Kahn,et al. Counting types of rigid frameworks , 1979 .
[76] John H. Reif,et al. Complexity of the mover's problem and generalizations , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[77] Dennis S. Arnon,et al. A cellular decomposition algorithm for semi-algebraic sets , 1979, EUROSAM.
[78] J. Ferrante,et al. The computational complexity of logical theories , 1979 .
[79] George E. Collins. Factoring univariate integral polynomial in polynomial average time , 1979, EUROSAM.
[80] Gregory W. Brumfiel,et al. Partially Ordered Rings and Semi-Algebraic Geometry , 1980 .
[81] C. Smoryński. Skolem’s solution to a problem of frobenius , 1981 .
[82] Daniel Lazard,et al. Resolution des Systemes d'Equations Algebriques , 1981, Theor. Comput. Sci..
[83] Dennis Soule Arnon. Algorithms for the geometry of semi-algebraic sets , 1981 .
[84] George E. Collins,et al. Algorithms for the Solution of Systems of Linear Diophantine Equations , 1982, SIAM J. Comput..
[85] George E. Collins. Factorization in Cylindrical Algebraic Decomposition , 1982, EUROCAM.
[86] Martin Fürer,et al. The Complexity of Presburger Arithmetic with Bounded Quantifier Alternation Depth , 1982, Theor. Comput. Sci..
[87] Multiply valued fields , 1982 .
[88] Scott McCallum,et al. Cylindrical Algebraic Decomposition by Quantifier Elimination , 1982, EUROCAM.
[89] Tomás Recio,et al. Ordered fields and real algebraic geometry , 1982 .
[90] Bruno Buchberger,et al. Computer algebra symbolic and algebraic computation , 1982, SIGS.
[91] R. Loos. Computing in Algebraic Extensions , 1983 .
[92] R. Loos. Generalized Polynomial Remainder Sequences , 1983 .
[93] G. E. Collins,et al. Quantifier Elimination for Real Closed Fields: A Guide to the Literature , 1983 .
[94] A. Macintyre,et al. Elimination of Quantifiers in Algebraic Structures , 1983 .
[95] Dennis S. Arnon,et al. Topologically reliable display of algebraic curves , 1983, SIGGRAPH.
[96] Franz Winkler,et al. Arithmetic in Basic Algebraic Domains , 1983 .
[97] J. Schwartz,et al. On the “piano movers'” problem I. The case of a two‐dimensional rigid polygonal body moving amidst polygonal barriers , 1983 .
[98] J. Schwartz,et al. On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .
[99] Scott F. Smith,et al. Towards mechanical solution of the Kahan Ellipse Problem 1 , 1983, EUROCAL.
[100] George E. Collins,et al. Cylindrical Algebraic Decomposition I: The Basic Algorithm , 1984, SIAM J. Comput..
[101] John H. Reif,et al. The complexity of elementary algebra and geometry , 1984, STOC '84.
[102] Micha Sharir,et al. On shortest paths in polyhedral spaces , 1986, STOC '84.
[103] Charles N. Delzell. A continuous, constructive solution to Hilbert's 17th problem , 1984 .
[104] Volker Weispfenning,et al. Quantifier elimination and decision procedures for valued fields , 1984 .
[105] Tsit Yuen Lam,et al. An introduction to real algebra , 1984 .
[106] Dima Grigoriev,et al. Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields , 1984, MFCS.
[107] L. Dries. Remarks on Tarski's problem concerning (R, +, *, exp) , 1984 .
[108] B. Scarpellini. Complexity of subcases of Presburger arithmetic , 1984 .
[109] George E. Collins,et al. Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane , 1984, SIAM J. Comput..
[110] Scott McCallum,et al. An Improved Projection Operation for Cylindrical Algebraic Decomposition , 1985, European Conference on Computer Algebra.
[111] Chee-Keng Yap,et al. Algebraic cell decomposition in NC , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[112] W. Böge,et al. Quantifier Elimination for Real Closed Fields , 1985, AAECC.
[113] Lou van den Dries,et al. The field of reals with a predicate for the powers of two , 1985 .
[114] M. A. Dickmann,et al. Applications of model theory to real algebraic geometry , 1985 .
[115] Sabine Stifter,et al. Automated geometry theorem proving using Buchberger's algorithm , 1986, SYMSAC '86.
[116] R. Rudell,et al. Multiple-Valued Logic Minimization for PLA Synthesis , 1986 .
[117] L. Dries. A generalization of the Tarski-Seidenberg theorem, and some nondefinability results , 1986 .
[118] Alexander L. Chistov. Polynomial Complexity of the Newton-Puiseux Algorithm , 1986, MFCS.
[119] Ephraim Feig,et al. A fast parallel algorithm for determining all roots of a polynomial with real roots , 1986, STOC '86.
[120] Deepak Kapur. Geometry theorem proving using Hilbert's Nullstellensatz , 1986, SYMSAC '86.
[121] J. Davenport. A "Piano Movers" Problem. , 1986 .
[122] Stefan Arnborg,et al. Algebraic decomposition of regular curves , 1986, SYMSAC '86.
[123] Angus Macintyre,et al. Twenty Years of P-Adic Model Theory , 1986 .
[124] David Prill. On Approximations and Incidence in Cylindrical Algebraic Decompositions , 1986, SIAM J. Comput..
[125] B. Kutzler,et al. On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving , 1986, J. Symb. Comput..
[126] E. Becker. On the real spectrum of a ring and its application to semialgebraic geometry , 1986 .
[127] W. Brownawell. Bounds for the degrees in the Nullstellensatz , 1987 .
[128] Scott McCallum,et al. The computation of polynomial greatest common divisors over an algebraic number field , 1987, EUROCAL.
[129] S. Chou. Mechanical Geometry Theorem Proving , 1987 .
[130] M-F Roy,et al. Géométrie algébrique réelle , 1987 .
[131] Chandrajit L. Bajaj,et al. Compliant motion planning with geometric models , 1987, SCG '87.
[132] John F. Canny,et al. A new algebraic method for robot motion planning and real geometry , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).
[133] Maurice Mignotte,et al. On Mechanical Quantifier Elimination for Elementary Algebra and Geometry , 1988, J. Symb. Comput..
[134] Michel Coste,et al. Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets , 1988, J. Symb. Comput..
[135] Scott McCallum,et al. A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve , 1984, J. Symb. Comput..
[136] Volker Weispfenning,et al. The Complexity of Linear Problems in Fields , 1988, Journal of symbolic computation.
[137] James H. Davenport,et al. Real Quantifier Elimination is Doubly Exponential , 1988, J. Symb. Comput..
[138] Jean-Jacques Risler. Some Aspects of Complexity in Real Algebraic Geometry , 1988, J. Symb. Comput..
[139] Philip Scowcroft,et al. On the structure of semialgebraic sets over p-adic fields , 1988, Journal of Symbolic Logic.
[140] Lou van den Dries. On the Elementary Theory of Restricted Elementary Functions , 1988, J. Symb. Log..
[141] Akira Aiba,et al. Constraints Logic Programming Language CAL , 1988, FGCS.
[142] John F. Canny,et al. Some algebraic and geometric computations in PSPACE , 1988, STOC '88.
[143] Dennis S. Arnon,et al. Geometric Reasoning with Logic and Algebra , 1988, Artif. Intell..
[144] Daniel Lazard,et al. Quantifier Elimination: Optimal Solution for Two Classical Examples , 1988, J. Symb. Comput..
[145] D. S. Arnon,et al. Algorithms in real algebraic geometry , 1988 .
[146] Deepak Kapur,et al. A Refutational Approach to Geometry Theorem Proving , 1988, Artif. Intell..
[147] C. Hoffmann. Algebraic curves , 1988 .
[148] Scott McCallum,et al. An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space , 1988, J. Symb. Comput..
[149] John F. Canny,et al. Generalized Characteristic Polynomials , 1988, ISSAC.
[150] Dennis S. Arnon,et al. A Bibliography of Quantifier Elimination for Real Closed Fields , 1988, J. Symb. Comput..
[151] Micha Sharir,et al. A Survey of Motion Planning and Related Geometric Algorithms , 1988, Artificial Intelligence.
[152] Dennis S. Arnon,et al. On the Mechanical Proof of Geometry Theorems Involving Inequalities , 1989 .
[153] B. David Saunders,et al. A parallel implementation of the cylindrical algebraic decomposition algorithm , 1989, ISSAC '89.
[154] Joos Heintz,et al. On the Complexity of Semialgebraic Sets , 1989, IFIP Congress.
[155] N. Jacobson,et al. Basic Algebra II , 1989 .
[156] Xiao Gao,et al. A Combination of Ritt-Wu''s Method and Collins'' Method , 1989 .
[157] S. Smale,et al. On a theory of computation and complexity over the real numbers; np-completeness , 1989 .
[158] Victor Y. Pan,et al. Fast and E cient Parallel Evaluation of the Zeros of a Polynomial Having Only Real Zeros , 1989 .
[159] George E. Collins,et al. Quantifier elimination and the sign variation method for real root isolation , 1989, ISSAC '89.
[160] Joos Heintz,et al. Single Exponential Path Finding in Semialgebraic Sets. Part 1: The Case of a Regular Bounded Hypersurface , 1990, AAECC.
[161] Wolfgang Küchlin,et al. Parallel Real Root Isolation Using the Coefficient Sign Variation Method , 1990, CAP.
[162] J. Risler,et al. Real algebraic and semi-algebraic sets , 1990 .
[163] Hoon Hong,et al. Improvements in cad-based quantifier elimination , 1990 .
[164] Marie-Françoise Roy,et al. Complexity of the computation of cylindrical decomposition and topology of real algebraic curves using Thom's lemma , 1990 .
[165] Tomás Recio,et al. Algorithms in Real Algebraic Geometry and Applications to Computational Geometry , 1990, Discrete and Computational Geometry.
[166] Joos Heintz,et al. COMPTAGE DES COMPOSANTES CONNEXES D'UN ENSEMBLE SEMI-ALGEBRIQUE EN TEMPS SIMPLEMENT EXPONENTIEL , 1990 .
[167] André Galligo,et al. Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields , 1990 .
[168] Joos Heintz,et al. Geometric Problems Solvable in Single Exponential Time , 1990, AAECC.
[169] H. Hong. An improvement of the projection operator in cylindrical algebraic decomposition , 1990, ISSAC '90.
[170] Felipe Cucker,et al. A Theorem on Random Polynomials and Some Consequences in Average Complexity , 1990, J. Symb. Comput..
[171] S. Abhyankar. Algebraic geometry for scientists and engineers , 1990 .
[172] Laureano Gonzalez-Vega. Determinantal formulae for the solution set of zero-dimensional ideals , 1991 .
[173] Bruno Buchberger,et al. Speeding-up Quantifier Elimination by Gr?bner Bases , 1991 .
[174] Daniel Richardson,et al. Towards computing non algebraic cylindrical decompositions , 1991, ISSAC '91.
[175] Hoon Pyo Hong. Collision Problems by an Improved CAD-based Quantifier Elimination Algorithm , 1991 .
[176] George E. Collins,et al. Partial Cylindrical Algebraic Decomposition for Quantifier Elimination , 1991, J. Symb. Comput..
[177] Hoon Pyo Hong. Comparison of Several Decision Algorithms for the Existential Theory of the Reals , 1991 .
[178] Paul Pedersen. Multivariate Sturm Theory , 1991, AAECC.
[179] Y. N. Lakshman,et al. On the Complexity of Zero-dimensional Algebraic Systems , 1991 .
[180] Nicolai Vorobjov,et al. The Complexity of Deciding Consistency of Systems of Polynomial in Exponent Inequalities , 1992, J. Symb. Comput..
[181] James Renegar,et al. On the Computational Complexity of Approximating Solutions for Real Algebraic Formulae , 1992, SIAM J. Comput..
[182] Jeremy R. Johnson,et al. Real algebraic number computation using interval arithmetic , 1992, ISSAC '92.
[183] Alexander I. Barvinok,et al. Feasibility testing for systems of real quadratic equations , 1992, STOC '92.
[184] J. Rafael Sendra,et al. An Extended Polynomial GCD Algorithm Using Hankel Matrices , 1992, J. Symb. Comput..
[185] Hoon Hong,et al. Heuristic Search Strategies for Cylindrical Algebraic Decomposion , 1992, AISMC.
[186] D. Richardson. Computing the Topology of a Bounded Non-Algebraic Curve in the Plane , 1992, J. Symb. Comput..
[187] A. L. Chistov. Polynomial complexity algorithms for computational problems in the theory of algebraic curves , 1992 .
[188] Hoon Hong,et al. Non-linear Real Constraints in Constraint Logic Programming , 1992, ALP.
[189] W. Forster,et al. Some computational methods for systems of nonlinear equations and systems of polynomial equations , 1992, J. Glob. Optim..
[190] George E. Collins,et al. An efficient algorithm for infallible polynomial complex root isolation , 1992, ISSAC '92.
[191] Hoon Hong,et al. Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination , 1992, ISSAC '92.
[192] Dinesh Manocha,et al. Multipolynomial resultants and linear algebra , 1992, ISSAC '92.
[193] Nicolai Vorobjov,et al. Effective stratification of regular real algebraic varieties , 1992 .
[194] Xiao-Shan Gao,et al. A Zero Structure Theorem for Differential Parametric Systems , 1993, J. Symb. Comput..
[195] Hoon Hong. Parallelization of Quantifier Elimination on a Workstation Network , 1993, AAECC.
[196] Devdatt P. Dubhashi. Quantifier Elimination in p-adic Fields , 1993, Comput. J..
[197] Bud Mishra,et al. Algorithmic Algebra , 1993, Texts and Monographs in Computer Science.
[198] Tomás Recio,et al. Path Tracking in Motion Planning , 1993, Comput. J..
[199] R. Pollack,et al. On the number of cells defined by a set of polynomials , 1993 .
[200] Dinesh Manocha,et al. Efficient Algorithms for MultiPolynomial Resultant , 1993, Comput. J..
[201] Claude Brezinski,et al. A survey of matrix theory and matrix inequalities , 1993 .
[202] Richard Liska,et al. Applying Quantifier Elimination to Stability Analysis of Difference Schemes , 1993, Comput. J..
[203] Hoon Hong,et al. Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants , 1993, Comput. J..
[204] Felipe Cucker. On the Complexity of Quantifier Elimination: the Structural Approach , 1993, Comput. J..
[205] Hoon Hong,et al. Quantifier elimination for formulas constrained by quadratic equations , 1993, ISSAC '93.
[206] George E. Collins,et al. A hybrid method for high precision calculation of polynomial real roots , 1993, ISSAC '93.
[207] Scott McCallum. Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition , 1993, Comput. J..
[208] Mark J. Encarnación. On a modular algorithm for computing GCDs of polynomials over algebraic number fields , 1994, ISSAC '94.
[209] Joos Heintz,et al. Single Exponential Path Finding in Semi-algebraic Sets, Part II: The General Case , 1994 .
[210] Volker Weispfenning,et al. Quantifier elimination for real algebra—the cubic case , 1994, ISSAC '94.
[211] Joos Heintz,et al. Description of the connected components of a semialgebraic set in single exponential time , 1994, Discret. Comput. Geom..
[212] C. Andrew Neff,et al. Specified precision polynomial root isolation is in NC , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
[213] Marek Karpinski,et al. Lower bounds on testing membership to a polyhedron by algebraic decision trees , 1994, STOC '94.
[214] Xiao-Shan Gao,et al. Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method , 1994, CADE.
[215] D. Loveland,et al. Empirical explorations of the geometry-theorem proving machine , 1995 .
[216] Marie-Françoise Roy,et al. On the combinatorial and algebraic complexity of quantifier elimination , 1996, JACM.
[217] Real algebraic numbers , 1996 .
[218] H. Hong. An efficient method for analyzing the topology of plane real algebraic curves , 1996 .
[219] N. Alon. Tools from higher algebra , 1996 .
[220] Marie-Françoise Roy,et al. On Computing a Set of Points Meeting Every Cell Defined by a Family of Polynomials on a Variety , 1995, J. Complex..
[221] Volker Weispfenning,et al. Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond , 1997, Applicable Algebra in Engineering, Communication and Computing.
[222] S. Basu,et al. On Computing a Set of Points meeting every Semi-algebraically Connected Component of a Family of Pol , 1997 .
[223] G. E. Collins,et al. Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress , 1998 .
[224] L. González-Vega. A Combinatorial Algorithm Solving Some Quantifier Elimination Problems , 1998 .
[225] Marie-Françoise Roy,et al. Sturm—Habicht Sequences, Determinants and Real Roots of Univariate Polynomials , 1998 .