{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T10:10:11Z","timestamp":1763201411388},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540420712"},{"type":"electronic","value":"9783540449904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44990-6_10","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:20:43Z","timestamp":1188296443000},"page":"127-141","source":"Crossref","is-referenced-by-count":6,"title":["Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic"],"prefix":"10.1007","author":[{"given":"Martine","family":"Ceberio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Granvilliers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"10_CR1","unstructured":"G\u00f6tz Alefeld and J\u00fcrgen Herzberger. Introduction to Interval Computations. Academic Press, 1983."},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P. Aubry","year":"1998","unstructured":"Philippe Aubry, Daniel Lazard, and Marc Moreno Maza. On the Theories of Triangular Sets. Journal of Symbolic Computation, 28:105\u2013124, 1998.","journal-title":"Journal of Symbolic Computation"},{"key":"10_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-61732-9_55","volume-title":"Combining Local Consistency, Symbolic Rewriting and Interval Methods","author":"F. Benhamou","year":"1996","unstructured":"Fr\u00e9d\u00e9ric Benhamou and Laurent Granvilliers. Combining Local Consistency, Symbolic Rewriting and Interval Methods. In J. Calmet, J.A. Campbell, and J. Pfalzgraf, editors, Proceedings of the 3rd International Conference on Artificial Intelligence and Symbolic Mathematical Computation, volume 1138 of LNCS, pages 144\u2013159, Steyr, Austria, 1996. Springer-Verlag."},{"key":"10_CR4","unstructured":"Dario Bini and Bernard Mourrain. Handbook of Polynomial Systems. http:\/\/www-sop.inria.fr\/saga\/POL\/ , 1996."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bruno Buchberger. Gr\u00f6bner Bases: an Algorithmic Method in Polynomial Ideal Theory. In Multidimensional Systems Theory, pages 184\u2013232. D. Reidel Publishing Company, 1985.","DOI":"10.1007\/978-94-009-5225-6_6"},{"issue":"2","key":"10_CR6","first-page":"125","volume":"2","author":"J. G. Cleary","year":"1987","unstructured":"John G. Cleary. Logical Arithmetic. Future Computing Systems, 2(2):125\u2013149, 1987.","journal-title":"Future Computing Systems"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. Collins Edwin","year":"1991","unstructured":"Georges Edwin Collins and Hoon Hong. Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. Journal of Symbolic Computation, 12(3):299\u2013328, 1991.","journal-title":"Journal of Symbolic Computation"},{"key":"10_CR8","unstructured":"Eldon Robert Hansen. Global Optimization using Interval Analysis. Marcel Dekker, 1992."},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1145\/29380.29862","volume":"13","author":"R. Kearfott Baker","year":"1987","unstructured":"Ralph Baker Kearfott. Some Tests of Generalized Bisection. ACM Transactions on Mathematical Software, 13(3):197\u2013220, 1987.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Shankar Krishnan and Dinesh Manocha. Numeric-symbolic Algorithms for Evaluating One-dimensional Algebraic Sets. In Proceedings of International Symposium on Symbolic and Algebraic Computation, pages 59\u201367. ACM Press, 1995.","DOI":"10.1145\/220346.220354"},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Alan K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1026485406803","volume":"5","author":"K. Makino","year":"1999","unstructured":"Kyoko Makino and Martin Berz. Efficient Control of the Dependency Problem based on Taylor Model Method. Reliable Computing, 5:3\u201312, 1999.","journal-title":"Reliable Computing"},{"key":"10_CR13","volume-title":"Interval Analysis","author":"R. Moore Edgar","year":"1966","unstructured":"Ramon Edgar Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966."},{"key":"10_CR14","unstructured":"Volker Stahl. Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations. PhD thesis, University of Linz, Austria, 1995."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Josef Stoer and Roland Bulirsch. Introduction to Numerical Analysis. Texts in Applied Mathematics. Springer, 2nd edition, 1993.","DOI":"10.1007\/978-1-4757-2272-7"},{"key":"10_CR16","unstructured":"Maarten Hermann Van Emden. Canonical extensions as common basis for interval constraints and interval arithmetic. In F. Benhamou, editor, Proceedings of the 6th French Conference on Logic Programming and Constraint Programming, pages 71\u201383. Herm\u00e9s, 1997."},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1137\/S0036142995281504","volume":"34","author":"P. Hentenryck Van","year":"1997","unstructured":"Pascal Van Hentenryck, David McAllester, and Deepak Kapur. Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis, 34(2):797\u2013827, 1997.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Pascal Van Hentenryck, Laurent Michel, and Yves Deville. Numerica: a Modeling Language for Global Optimization. MIT Press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"10_CR19","unstructured":"Jan Verschelde. Database of Polynomial Systems. Michigan State University, USA, 1999. http:\/\/www.math.msu.edu\/~;jan\/demo.html ."},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/317275.317286","volume":"25","author":"J. Verschelde","year":"1999","unstructured":"Jan Verschelde. PHCpack: A General-purpose Solver for Polynomial Systems by Homotopy Continuation. ACM Transactions on Mathematical Software, 25(2):251\u2013276, 1999.","journal-title":"ACM Transactions on Mathematical Software"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44990-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:07:59Z","timestamp":1556802479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44990-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540420712","9783540449904"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44990-6_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}