{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:43Z","timestamp":1725494203748},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425984"},{"type":"electronic","value":"9783540454106"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45410-1_3","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T07:16:33Z","timestamp":1194246993000},"page":"26-40","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study"],"prefix":"10.1007","author":[{"given":"Fabrice","family":"Rouillier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohab Safey","family":"El Din","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Schost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"key":"3_CR1","unstructured":"http:\/\/www-calfor.lip6.fr\/~safey\/applications.html"},{"key":"3_CR2","unstructured":"http:\/\/www.medicis.polytechnique.fr"},{"key":"3_CR3","unstructured":"http:\/\/www.tera.medicis.polytechnique.fr"},{"key":"3_CR4","unstructured":"http:\/\/www-calfor.lip6.fr\/~jcf"},{"key":"3_CR5","unstructured":"P. Aubry, Ensembles Triangulaires de Polyn\u00f4mes et R\u00e9solution de Syst\u00e9mes Alg\u00e9briques, Implantations en Axiom, PhD thesis, Universit\u00e9 Paris VI, 1999."},{"key":"3_CR6","unstructured":"P. Aubry, F. Rouillier, M. Safey El Din, Real Solving for Positive Dimensional Systems, Research Report, Laboratoire d\u2019Informatique de Paris VI, March 2000."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"B. Bank, M. Giusti, J. Heintz, M. Mbakop, Polar Varieties and Efficient Real Equation Solving, Journal of Complexity, Vol. 13, pages 5\u201327, 1997; best paper award 1997.","DOI":"10.1006\/jcom.1997.0432"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"B. Bank, M. Giusti, J. Heintz, M. Mbakop, Polar Varieties and Efficient Real Elimination, to appear in Mathematische Zeitschrift (2000).","DOI":"10.1007\/PL00004896"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"S. Basu, R. Pollack, M.-F. Roy, On the Combinatorial and Algebraic Complexity of Quantifier Elimination. Journal of the Association for Computing Machinery, Vol. 43, pages 1002\u20131045, 1996.","DOI":"10.1145\/235809.235813"},{"key":"3_CR10","first-page":"1","volume":"109","author":"E. Becker","year":"1993","unstructured":"E. Becker, R. Neuhaus, Computation of Real Radicals for Polynomial Ideals, Computational Algebraic Geometry, Progress in Math., Vol. 109, pages 1\u201320, Birkh\u00e4user, 1993.","journal-title":"Computation of Real Radicals for Polynomial Ideals, Computational Algebraic Geometry"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. Collins","year":"1991","unstructured":"G. E. Collins, H. Hong,Partial Cylindrical Algebraic Decomposition, Journal of Symbolic Computation, Vol. 12, No. 3, pages 299\u2013328, 1991.","journal-title":"Journal of Symbolic Computation"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"G. E. Collins, Quantifier Elimination for Real Closed Field by Cylindrical Algebraic Decomposition, Lectures Notes in Computer Science, Vol. 33, pages 515\u2013532, 1975.","DOI":"10.1007\/3-540-07407-4_17"},{"key":"3_CR13","unstructured":"P. Conti, C. Traverso, Algorithms for the Real Radical, Unpublished manuscript."},{"key":"3_CR14","unstructured":"M. Giusti, J. Heintz, La D\u2019etermination des Points Isol\u2019es et de la Dimension d\u2019une Vari\u00e1t\u00e1 Alg\u00e1brique R\u00e1elle peut se faire en Temps Polynomial, Computational Algebraic Geometry and Commutative Algebra, Symposia Matematica, Vol. 34, D. Eisenbud and L. Robbiano (eds.), pages 216\u2013256, Cambridge University Press, 1993."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"M. Giusti, G. Lecerf, B. Salvy, A Gr\u00f6bner Free Alternative for Solving Polynomial Systems, Journal of Complexity, Vol. 17, No. 1, pages 154\u2013211, 2001.","DOI":"10.1006\/jcom.2000.0571"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"D. Grigor\u2019ev, N. Vorobjov, Solving Systems of Polynomial Inequalities in Subexponential Time, Journal of Symbolic Computation, Vol. 5, No. 1-2, pages 37\u201364, 1988.","DOI":"10.1016\/S0747-7171(88)80005-1"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"L. Gonzalez-Vega, Applying Quantifier Elimination to the Birkhoff Interpolation Problem, Journal of Symbolic Computation Vol. 22, No. 1, pages 83\u2013103, 1996.","DOI":"10.1006\/jsco.1996.0042"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"M.-J. Gonzalez-Lopez, L. Gonzalez-Vega, Project 2: The Birkhoff Interpolation Problem, Some Tapas of Computer Algebra, A. Cohen (ed.), pages 297\u2013310, Springer, 1999.","DOI":"10.1007\/978-3-662-03891-8_13"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"J. Heintz, M.-F. Roy, P. Solerno, On the Theoretical and Practical Complexity of the Existential Theory of the Reals, The Computer Journal, Vol.36, No.5, pages 427\u2013431, 1993.","DOI":"10.1093\/comjnl\/36.5.427"},{"key":"3_CR20","unstructured":"H. Hong, Comparison of Several Decision Algorithms for the Existential Theory of the Reals, Research Report, RISC-Linz, Johannes Kepler University, 1991."},{"key":"3_CR21","unstructured":"M. Kalkbrener, Three Contributions to Elimination Theory, PhD thesis, RISCLinz, Johannes Kepler University, 1991."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"L. Kronecker,Grundz\u00fcge einer arithmetischen Theorie der algebraischen Gr\u00f6\u00dfen, Journal Reine Angew. Mathematik, Vol. 92, pages 1\u2013122, 1882.","DOI":"10.1515\/crll.1882.92.1"},{"key":"3_CR23","unstructured":"M. Moreno Maza, Calculs de Pgcd au-dessus des Tours d\u2019Extensions Simples et R\u00e9solution des Syst\u00e9mes d\u2019Equations Alg\u00e9briques, PhD thesis, Universit\u00e9 Paris VI, 1997."},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"J. Renegar, On the Computational Complexity and Geometry of the First Order Theory of the Reals, Journal of Symbolic Computation, Vol.13, No.3, pages 255\u2013352, 1992.","DOI":"10.1016\/S0747-7171(10)80005-7"},{"key":"3_CR25","unstructured":"F. Rouillier, Algorithmes Efficaces pour l\u2019 \u00c9tude des Z\u00e9ros R\u00e9els des Syst\u00e9mes Polynomiaux, PhD thesis, Universit\u00e9 de Rennes I, 1996."},{"issue":"5","key":"3_CR26","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s002000050114","volume":"9","author":"F. Rouillier","year":"1999","unstructured":"F. Rouillier, Solving Zero-Dimensional Systems through the Rational Univariate Representation, Applicable Algebra in Engineering Communications and Computing, Vol.9, No.5, pages 433\u2013461, 1999.","journal-title":"Applicable Algebra in Engineering Communications and Computing"},{"key":"3_CR27","unstructured":"R. Rioboo, Computing with Infinitesimals, Manuscript."},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1006\/jcom.2000.0563","volume":"16","author":"F. Rouillier","year":"2000","unstructured":"F. Rouillier, M.-F. Roy, M. Safey El Din, Finding at Least One Point in Each Connected Component of a Real Algebraic Set Defined by a Single Equation, Journal of Complexity, Vol. 16, No. 4, pages 716\u2013750, 2000.","journal-title":"Journal of Complexity"},{"key":"3_CR29","unstructured":"F. Rouillier, P. Zimmermann, Efficient Isolation of a Polynomial Real Roots, Research Report, INRIA, No. RR-4113, 2001."},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"M.-F. Roy, Basic Algorithms in Real Algebraic Geometry: From Sturm Theorem to the Existential Theory of Reals, Lectures on Real Geometry in memoriam of Mario Raimondo, Expositions in Mathematics, Vol. 23, pages 1\u201367, Berlin, 1996.","DOI":"10.1515\/9783110811117.1"},{"key":"3_CR31","unstructured":"M. Safey El Din, R\u00e9solution R\u00e9elle des Syst\u00e8mes Polynomiaux en Dimension Positive, PhD thesis, Universit\u00e9 Paris VI, 2001."},{"key":"3_CR32","unstructured":"\u00c9. Schost, Computing Parametric Geometric Resolutions, Preprint, \u00c9cole Polytechnique, 2000."},{"key":"3_CR33","unstructured":"\u00c9. Schost, Sur la R\u00e9solution des Syst\u00e8mes Polynomiaux \u00e1 Param\u00e8tres, PhD thesis, \u00c9cole Polytechnique, 2000."},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/jsco.1999.0355","volume":"30","author":"D. Wang","year":"2000","unstructured":"D. Wang, Computing Triangular Systems and Regular Systems, Journal of Symbolic Computation, Vol. 30, No. 2, pages 221\u2013236, 2000.","journal-title":"Journal of Symbolic Computation"},{"key":"3_CR35","unstructured":"J. Von Zur Gathen, J. Gerhardt, Modern Computer Algebra, Cambridge University Press, 1999."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45410-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T12:24:49Z","timestamp":1684067089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45410-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425984","9783540454106"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-45410-1_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"11 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}