{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:01:47Z","timestamp":1760061707378},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646709"},{"type":"electronic","value":"9783642599323"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-59932-3_9","type":"book-chapter","created":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T10:57:37Z","timestamp":1315565857000},"page":"173-185","source":"Crossref","is-referenced-by-count":4,"title":["On the Real Nullstellensatz"],"prefix":"10.1007","author":[{"given":"Eberhard","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1137\/0213054","volume":"13","author":"DS Arnon","year":"1984","unstructured":"Dennis S. Arnon, George E. Collins, and Scott McCallum. Cylindrical algebraic decomposition I: The basic algorithm. SIAM Journal on Computing, 13(4)865\u2013 877, November 1984.","journal-title":"The basic algorithm. SIAM Journal on Computing"},{"issue":"4","key":"9_CR2","first-page":"878","volume":"13","author":"DS Arnon","year":"1984","unstructured":"Dennis S. Arnon, George E. Collins, and Scott McCallum. Cylindrical algebraic decomposition II: An adjacency algorithm for the plane. SIAM Journal on Computing, 13(4)878\u2013889, November 1984.","journal-title":"An adjacency algorithm for the plane. SIAM Journal on Computing"},{"key":"9_CR3","unstructured":"T.ChaoukiAbdallah, Peter Dorato, Wei Yang, Richard Liska, and Stanly Steinberg. Applications of quantifier elimination theory to control system design. In Proceedings of the 4th IEEE Mediterranean Symposium on Control and Automation, pages 340\u2013345. IEEE, 1996."},{"key":"9_CR4","unstructured":"Ferdinand Fran\u00e7ois D\u00e9sir\u00e9 Budan de Boislaurent. Nouvelle m\u00e9thode pour la r\u00e9solution des \u00e9quations num\u00e9riques d\u2019un degr\u00e9 quelconque, 1807. 2nd edition, Paris 1822."},{"key":"9_CR5","unstructured":"Eberhard Becker. Sums of squares and quadratic forms in real algebraic geometry. In Cahiers du S\u00e9minaire d\u2019Historie de Math\u00e9matiques, volume 1, pages 41\u201357. Universit\u00e9 Pierre et Marie Curie, Laboratoire de Math\u00e9matiques Fondamentales, Paris, 1991."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Mark de Berg, Marc van Kreveld, Mark Overmars, and Otfried Schwarzkopf. Computational Geometry, Algorithms and Applications. Springer, Berlin, Heidelberg, New York, 1997.","DOI":"10.1007\/978-3-662-03427-9"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0022-0000(86)90029-2","volume":"32","author":"M Ben-Or","year":"1986","unstructured":"Michael Ben-Or, Dexter Kozen, and John Reif. The complexity of elementary algebra and geometry. Journal of Computer and System Sciences, 32:251\u2013264, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1109\/SFCS.1994.365728","volume-title":"Proceedings of the 35th Annual Symposium on Foundations of Computer Science","author":"S Basu","year":"1994","unstructured":"Saugata Basu, Richard Pollack, and Marie-Fran\u00e7oise Roy. On the combinatorial and algebraic complexity of quantifier elimination. In Shafi Goldwasser, editor, Proceedings of the 35th Annual Symposium on Foundations of Computer Science, pages 632\u2013641, Santa Fe, NM, November 1994. IEEE Computer Society Press, Los Alamitos, CA."},{"key":"9_CR9","volume-title":"Doctoral dissertation, Mathematical Institute","author":"B Buchberger","year":"1965","unstructured":"Bruno Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Doctoral dissertation, Mathematical Institute, University of Innsbruck, Innsbruck, Austria, 1965."},{"key":"9_CR10","volume-title":"Diploma thesis","author":"KD Burhenne","year":"1990","unstructured":"Klaus-Dieter Burhenne. Implementierung eines Algorithmus zur Quantorenelimination fUr lineare reelle Probleme. Diploma thesis, Universit\u00e4t Passau, D-94030 Passau, Germany, December 1990."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Eberhard Becker and Thorsten Wormann. On the trace formula for quadratic forms. In William B. Jacob, Tsit-Yuen Lam, and Robert O. Robson, editors, Recent Advances in Real Algebraic Geometry and Quadratic Forms, volume 155 of Contemporary Mathematics,pages 271\u2013291. American Mathematical Society, American Mathematical Society, Providence, Rhode Island, 1994. Proceedings of the RAGS QUAD Year, Berkeley, 1990-1991.","DOI":"10.1090\/conm\/155\/01385"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"GE Collins","year":"1991","unstructured":"George E. Collins and Hoon Hong. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 12(3)299\u2013328, September 1991.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2181-2","volume-title":"Ideals, Varieties and Algorithms. Undergraduate Texts in Mathematics","author":"D Cox","year":"1992","unstructured":"David Cox, John Little, and Donald O\u2019Shea. Ideals, Varieties and AlgorithmsUndergraduate Texts in Mathematics. Springer-Verlag, New York, Berlin, Heidelberg, 1992."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"George E. Collins. Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In H. Brakhage, editor, Automata Theory and Formal Languages. 2nd GI Conference, volume 33 of Lecture Notes in Computer Science,pages 134\u2013183. Gesellschaft f\u00fcr Informatik, Springer-Verlag, Berlin, Heidelberg, New York, 1975.","DOI":"10.1007\/3-540-07407-4_17"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Alain Colmerauer. Prolog III. Communications of the ACM, 33(7)70\u201390, July 1990.","DOI":"10.1145\/79204.79210"},{"key":"9_CR16","first-page":"339","volume-title":"Activity Analysis of Production and Allocation","author":"GB Dantzig","year":"1951","unstructured":"George B. Dantzig. Maximization of a linear function of variables subject to linear inequalities. In T.C. Koopmans, editor, Activity Analysis of Production and Allocation, pages 339\u2013347. John Wiley & Sons, New York, 1951."},{"key":"9_CR17","unstructured":"Ren\u00e9 Descartes. La g\u00e9ometrie-livre III. In Charles Adam and Paul Tannery, editors, Discours de la M\u00e9thode& Essais, volume 6 of (Euvres des Descartes,pages 442\u2013485. Librairie Philosophique J. Vrin, Paris, new edition, 1973."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"JH Davenport","year":"1988","unstructured":"James H. Davenport and Joos Heintz. Real quantifier elimination is doubly exponential. Journal of Symbolic Computation, 5(1\u20132)29\u201335, February-April 1988.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR19","volume-title":"Reelle Quantorenelimination durch parametrisches Z\u00e4hlen von Nullstellen","author":"A Dolzmann","year":"1994","unstructured":"Andreas Dolzmann. Reelle Quantorenelimination durch parametrisches Z\u00e4hlen von Nullstellen. Diploma thesis, Universit\u00e4t Passau, D-94030 Passau, Germany, November 1994."},{"key":"9_CR20","volume-title":"Redlog user manual","author":"A Dolzmann","year":"1996","unstructured":"Andreas Dolzmann and Thomas Sturm. Redlog user manual. Technical Report MIP-9616, FMI, Universit\u00e4t Passau, D-94030 Passau, Germany, October 1996. Edition 1.0 for Version 1.0."},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A Dolzmann","year":"1997","unstructured":"Andreas Dolzmann and Thomas Sturm. Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin, 31(2)2\u20139, June 1997.","journal-title":"ACM SIGSAM Bulletin"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1006\/jsco.1997.0123","volume":"24","author":"A Dolzmann","year":"1997","unstructured":"Andreas Dolzmann and Thomas Sturm. Simplification of quantifier-free formulae over ordered fields. Journal of Symbolic Computation, 24(2)209\u2013231, August 1997.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR23","volume-title":"A new approach for automatic theorem proving in real geometry","author":"A Dolzmann","year":"1996","unstructured":"Andreas Dolzmann, Thomas Sturm, and Volker Weispfenning. A new approach for automatic theorem proving in real geometry. Technical Report MIP-9611, FMI, Universit\u00e4t Passau, D-94030 Passau, Germany, May 1996. To appear in the Journal of Automated Reasoning."},{"issue":"2","key":"9_CR24","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1006\/jsco.1997.0120","volume":"24","author":"P Dorato","year":"1997","unstructured":"Peter Dorato, Wei Yang, and Chaouki Abdallah. Robust multi-objective feedback design by quantifier elimination. Journal of Symbolic Computation, 24(2)153\u2013159, August 1997. Special issue on applications of quantifier elimination.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR25","volume-title":"Continuous Optimization Models","author":"HA Eiselt","year":"1987","unstructured":"Horst A. Eiselt, Giorgio Pederzoli, and Carl-Louis Sandblom. Continuous Optimization Models. De Gruyter, Berlin, 1987."},{"key":"9_CR26","volume-title":"Analyse des equations determinees","author":"J Baptiste","year":"1831","unstructured":"Jean Baptiste Joseph Fourier. Analyse des equations determinees. F. Didot, Paris, 1831."},{"key":"9_CR27","volume-title":"A combinatorial algorithm solving some quantifier elimination problems","author":"L Gonz\u00e1lez-Vega","year":"1993","unstructured":"Laureano Gonz\u00e1lez-Vega. A combinatorial algorithm solving some quantifier elimination problems. Technical Report 11-1993, University of Cantabria, Departemento de Mathematicas, Estadistica y Computaci\u00f3n, Facultad de Ciencias, A venida de Los Castros, 39071 Santander, Spain, November 1993."},{"key":"9_CR28","first-page":"284","volume-title":"Euvres des Charles Hermite","author":"C Hermite","year":"1905","unstructured":"Charles Hermite. Remarques sur Ie tMoreme de M. Sturm. In Emile Picard, editor, (Euvres des Charles Hermite, volume I, pages 284\u2013287. Gauthier-Villars, Paris, 1905."},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/jsco.1997.0121","volume":"24","author":"H Hong","year":"1997","unstructured":"Hoon Hong, Richard Liska, and Stanly Steinberg. Testing stability by quantifier elimination. Journal of Symbolic Computation, 24(2)161\u2013187, August 1997. Special issue on applications of quantifier elimination.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR30","volume-title":"Computer Graphics and Geometric Modeling","author":"CM Hoffmann","year":"1989","unstructured":"Christoph M. Hoffmann. Geometric and Solid Modeling. Computer Graphics and Geometric Modeling. Morgan Kaufmann, San Mateo, California, 1989."},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/96877.96943","volume-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 90)","author":"H Hong","year":"1990","unstructured":"Hoon Hong. An improvement of the projection operator in cylindrical algebraic decomposition. In Shunro Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 90), pages 261\u2013264, Tokyo, Japan, August 1990. ACM, ACM Press."},{"key":"9_CR32","first-page":"177","volume-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 92)","author":"H Hong","year":"1992","unstructured":"Hoon Hong. Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In Paul S. Wang, editor, Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 92), pages 177\u2013188, Berkeley, CA, July 1992. ACM, ACM Press."},{"key":"9_CR33","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/164081.164140","volume-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 93)","author":"H Hong","year":"1993","unstructured":"Hoon Hong. Quantifier elimination for formulas constrained by quadratic equations. In Manuel Bronstein, editor, Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC93), pages 264\u2013274, Kiev, Ukraine, July 1993. ACM, ACM Press."},{"issue":"5","key":"9_CR34","first-page":"440","volume":"36","author":"H Hong","year":"1993","unstructured":"Hoon Hong. Quantifier elimination for formulas constrained by quadratic equations via slope resultants. THE Computer Journal, 36(5)440\u2013449, 1993. Special issue on computational quantifier elimination.","journal-title":"THE Computer Journal"},{"issue":"2","key":"9_CR35","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1006\/jsco.1997.0119","volume":"24","author":"M Jirtsrand","year":"1997","unstructured":"Mats Jirtsrand. Nonlinear control system design by quantifier elimination. Journal of Symbolic Computation, 24(2)137\u2013152, August 1997. Special issue on applications of quantifier elimination.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR36","volume-title":"Implementierung eines Verfahrens zum Z\u00e4hlen reeller Nullstellen multivariater Polynome","author":"F Lippold","year":"1993","unstructured":"Frank Lippold. Implementierung eines Verfahrens zum Z\u00e4hlen reeller Nullstellen multivariater Polynome. Diploma thesis, Universit\u00e4t Passau, D-94030 Passau, Germany, September 1993."},{"issue":"5","key":"9_CR37","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"36","author":"R Loos","year":"1993","unstructured":"R\u00fcdiger Loos and Volker Weispfenning. Applying linear quantifier elimination. The Computer Journal, 36(5)450\u2013462, 1993. Special issue on computational quantifier elimination.","journal-title":"The Computer Journal"},{"issue":"1-2","key":"9_CR38","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0747-7171(88)80010-5","volume":"5","author":"S McCallum","year":"1988","unstructured":"Scott McCallum. An improved projection operation for cylindrical algebraic decomposition of three-dimensional space. Journal of Symbolic Computation, 5(1\u20132)141\u2013161, February-April 1988.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR39","unstructured":"Scott McCallum. Partial solution to path finding problems using the CAD method. Electronic Proceedings of the IMACS ACA 1995 on http:\/\/math.unm.edu\/ACA\/1995.html, 1995."},{"key":"9_CR40","volume-title":"Beitr\u00e4ge zur Theorie der linearen Ungleichungen","author":"TS Motzkin","year":"1936","unstructured":"Theodore S. Motzkin. Beitr\u00e4ge zur Theorie der linearen Ungleichungen. Doctoral dissertation, Universit\u00e4t Z\u00fcrich, 1936."},{"key":"9_CR41","volume-title":"Counting Real Zeros","author":"P Pedersen","year":"1991","unstructured":"Paul Pedersen. Counting Real Zeros. Ph.D. dissertation, Courant Institute of Mathematical Sciences, New York, 1991."},{"key":"9_CR42","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-1-4612-2752-6_15","volume-title":"Computational Algebraic Geometry","author":"P Pedersen","year":"1993","unstructured":"P. Pedersen, M.-F. Roy, and A. Szpirglas. Counting real zeroes in the multivariate case. In F. Eysette and A. Galigo, editors, Computational Algebraic Geometry, volume 109 of Progress in Mathematics,pages 203\u2013224. Birkh\u00e4user, Boston, Basel; Berlin, 1993. Proceedings of the MEGA 92."},{"issue":"3","key":"9_CR43","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J Renegar","year":"1992","unstructured":"James Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13(3)255\u2013352, March 1992. Part I-III.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR44","volume-title":"Ph.D. thesis, Department of Electrical Engineering, College of Engineering and Applied Science","author":"JR Rossignac","year":"1985","unstructured":"Jaroslaw R. Rossignac. Blending and Offsetting Solid Models. Ph.D. thesis, Department of Electrical Engineering, College of Engineering and Applied Science, University of Rochester, Rochester, New York 14627, July 1985."},{"key":"9_CR45","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0167-8396(86)90017-8","volume":"3","author":"JR Rossignac","year":"1986","unstructured":"Jaroslaw R. Rossignac and Aristides A.@@G. Requicha. Offsetting operations in solid modelling. Computer Aided Geometric Design, 3(2)129\u2013148, August 1986.","journal-title":"Computer Aided Geometric Design"},{"key":"9_CR46","volume-title":"Parametrische Gr\u00e9bnerbasen im Computeralgebrasystem ALDES\/SAC-2","author":"E Sch\u00f6nfeld","year":"1991","unstructured":"Elke Sch\u00f6nfeld. Parametrische Gr\u00e9bnerbasen im Computeralgebrasystem ALDES\/SAC-2. Diploma thesis, Universit\u00e4t Passau, D-94030 Passau, Germany, May 1991."},{"key":"9_CR47","first-page":"273","volume":"6","author":"CF Sturm","year":"1835","unstructured":"Jacques Charles Fran\u00e7ois Sturm. M\u00e9moire sur la resolution des \u00e9quations num\u00e9riques.InM\u00e9moires pr\u00e9sent\u00e9s par divers Savants\u00e9trangers l\u2019Acad\u00e9mie royale des sciences, section Sc. math. phys., volume 6, pages273\u2013318, 1835.","journal-title":"M\u00e9moires pr\u00e9sent\u00e9s par divers Savants \u00e9trangers l\u2019Acad\u00e9mie royale des sciences, section Sc. math. phys."},{"key":"9_CR48","volume-title":"Reasoning over networks by symbolic methods","author":"T Sturm","year":"1997","unstructured":"Thomas Sturm. Reasoning over networks by symbolic methods. Technical Report MIP-9719, FMI, Universit\u00e4t Passau, D-94030 Passau, Germany, December 1997."},{"key":"9_CR49","volume-title":"Computational geometry problems in Redlog","author":"T Sturm","year":"1997","unstructured":"Thomas Sturm and Volker Weispfenning. Computational geometry problems in Redlog. Technical Report MIP-9708, FMI, Universit\u00e4t Passau, D-94030 Passau, Germany, April 1997."},{"key":"9_CR50","first-page":"727","volume-title":"Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling, and Applied Mathematics (IMACS 97)","author":"T Sturm","year":"1997","unstructured":"Thomas Sturm and Volker Weispfenning. Rounding and blending of solids by a real elimination method. In Achim Sydow, editor, Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling, and Applied Mathematics (IMACS 97), volume 2, pages 727\u2013732, Berlin, August 1997. IMACS, Wissenschaft & Technik Verlag."},{"key":"9_CR51","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1098\/rstl.1853.0018","volume":"143","author":"JJ Sylvester","year":"1853","unstructured":"James Joseph Sylvester. On a theory of the syzegetic relations of two rational integral functions, comprising an application to the theory of Sturm\u2019s functions, and that of the greatest algebraical common measure. Philosophical Transactions of the Royal Society London, 143:407\u2013548, 1853.","journal-title":"Philosophical Transactions of the Royal Society London"},{"key":"9_CR52","unstructured":"Alfred Tarski. A decision method for elementary algebra and geometry. Technical report, RAND, Santa Monica, CA, 1948."},{"key":"9_CR53","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V Weispfenning","year":"1988","unstructured":"Volker Weispfenning. The complexity of linear problems in fields. Journal of Symbolic Computation, 5(1\u20132)3\u201327, February-April 1988.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR54","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0747-7171(92)90023-W","volume":"14","author":"V Weispfenning","year":"1992","unstructured":"Volker Weispfenning. Comprehensive Grabner bases. Journal of Symbolic Computation, 14:1\u201329, July 1992.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR55","volume-title":"A new approach to quantifier elimination for real algebra","author":"V Weispfenning","year":"1993","unstructured":"Volker Weispfenning. A new approach to quantifier elimination for real algebra. Technical Report MIP-9305, FMI, Universit\u00e4t Passau, D-94030 Passau, Germany, July 1993."},{"key":"9_CR56","volume-title":"Parametric linear and quadratic optimization by elimination","author":"V Weispfenning","year":"1994","unstructured":"Volker Weispfenning. Parametric linear and quadratic optimization by elimination. Technical Report MIP-9404, FMI, Universit\u00e4t Passau, D-94030 Passau, Germany, April 1994."},{"key":"9_CR57","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/190347.190425","volume-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 94)","author":"V Weispfenning","year":"1994","unstructured":"Volker Weispfenning. Quantifier elimination for real algebra-the cubic case. In Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC94), pages 258\u2013263, Oxford, England, July 1994. ACM Press."},{"issue":"2","key":"9_CR58","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V Weispfenning","year":"1997","unstructured":"Volker Weispfenning. Quantifier elimination for real algebra-the quadratic case and beyond. Applicable Algebra in Engineering Communication and Computing, 8(2)85\u2013101, February 1997.","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"issue":"2","key":"9_CR59","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1006\/jsco.1997.0122","volume":"24","author":"V Weispfenning","year":"1997","unstructured":"Volker Weispfenning. Simulation and optimization by quantifier elimination. Journal of Symbolic Computation, 24(2)189\u2013208, August 1997. Special issue on applications of quantifier elimination.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Algorithmic Algebra and Number Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-59932-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:49:13Z","timestamp":1606189753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-59932-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540646709","9783642599323"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-59932-3_9","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}