{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:10Z","timestamp":1725486250480},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433811"},{"type":"electronic","value":"9783540459880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45988-x_10","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:19:02Z","timestamp":1181182742000},"page":"117-131","source":"Crossref","is-referenced-by-count":4,"title":["Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods"],"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":[[2002,3,14]]},"reference":[{"key":"10_CR1","unstructured":"F. Benhamou, D. McAllester, and P. Van Hentenryck. CLP(Intervals) Revisited.In Procs. of ILPS'94, Intl. Logic Prog. Symp., pages 124\u2013138, Ithaca, USA, 1994. MIT Press."},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"F. Benhamou and W. J. Older. Applying Interval Arithmetic to Real, Integer and Boolean Constraints. J. of Logic Programming, 32(1):1\u201324, 1997.","journal-title":"J. of Logic Programming"},{"key":"10_CR3","unstructured":"M. Ceberio and L. Granvilliers. Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. In Procs. of AISC\u20192000, 5th Intl. Conf. on Artificial Intelligence and Symbolic Computation, volume 1930 of LNAI, Madrid, Spain, 2000. Springer-Verlag."},{"key":"10_CR4","unstructured":"A. Colmerauer. Naive Solving of Non-linear Constraints. In F. Benhamou and A. Colmerauer, eds., Constraint Logic Programming: Selected Research, pages 89\u2013112. MIT Press, 1993."},{"issue":"4","key":"10_CR5","first-page":"1","volume":"5","author":"F. Goualard","year":"1999","unstructured":"F. Goualard, F. Benhamou, and L. Granvilliers. An Extension of the WAM for Hybrid Interval Solvers. J. of Functional and Logic Programming, 5(4):1\u201331, 1999.","journal-title":"J. of Functional and Logic Programming"},{"issue":"2","key":"10_CR6","first-page":"125","volume":"4","author":"L. Granvilliers","year":"1998","unstructured":"L. Granvilliers. A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems.J. of Universal Comp. Sci., 4(2):125\u2013146, 1998.","journal-title":"J. of Universal Comp. Sci."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"L. Granvilliers, E. Monfroy, and F. Benhamou. Symbolic-Interval Cooperation in Constraint Programming. In Procs. of ISSAC\u20192001, 26th Intl. Symp. on Symbolic and Algebraic Computation, pages 150\u2013166, Univ. of Western Ontario, London, Ontario, Canada, 2001. ACM Press.","DOI":"10.1145\/384101.384123"},{"key":"10_CR8","series-title":"Lect Notes Comput Sci","first-page":"200","volume-title":"CLIP: a CLP(Intervals) Dialect for Metalevel Constraint Solving","author":"T. J. Hickey","year":"2000","unstructured":"T. J. Hickey. CLIP: a CLP(Intervals) Dialect for Metalevel Constraint Solving. In Procs. of PADL\u20192000, Intl. Workshop on Practical Aspects of Declarative Languages, volume 1753 of LNCS, pages 200\u2013214, Boston, USA, 2000. Springer-Verlag."},{"key":"10_CR9","unstructured":"H. Hong. RISC-CLP(Real): Constraint Logic Programming over Real Numbers. In F. Benhamou and A. Colmerauer, eds., Constraint Logic Programming: Selected Research. MIT Press, 1993."},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. Stuckey, and R. Yap. The CLP(\u211c) Language and System. ACM Trans. on Programming Languages and Systems, 14(3):339\u2013395, 1992.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"issue":"1\u20132","key":"10_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1142\/S0218213095000061","volume":"4","author":"P. Marti","year":"1995","unstructured":"P. Marti and M. Rueher. A Distributed Cooperating Constraints Solving System. Intl. J. on Artificial Intelligence Tools, 4(1\u20132):93\u2013113, 1995.","journal-title":"Intl. J. on Artificial Intelligence Tools"},{"key":"10_CR12","volume-title":"Interval Analysis","author":"R. E. Moore","year":"1966","unstructured":"R. E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966."},{"key":"10_CR13","unstructured":"J.-F. Puget and M. Leconte. Beyond the Glass Box: Constraints as Objects. In Procs. of ILPS\u201995, Intl. Logic Programming Symposium, pages 513\u2013527, Portland, USA, 1995. MIT Press."},{"key":"10_CR14","unstructured":"A. Semenov and A. Leshchenko. Interval and Symbolic Computations in the Unicalc Solver. In Procs. of INTERVAL\u201994, pages 206\u2013208, St-Petersburg, Russia, 1994."},{"issue":"4","key":"10_CR15","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1023\/A:1009821007410","volume":"4","author":"M. H. Emden Van","year":"1999","unstructured":"M. H. Van Emden. Algorithmic Power from Declarative Use of Redundant Constraints. Constraints, 4(4):363\u2013381, 1999.","journal-title":"Constraints"},{"issue":"2","key":"10_CR16","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1137\/S0036142995281504","volume":"34","author":"P. Hentenryck Van","year":"1997","unstructured":"P. Van Hentenryck, D. McAllester, and D. Kapur. Solving Polynomial Systems Using a Branch and Prune Approach. SIAM J. on Numerical Analysis, 34(2):797\u2013827, 1997.","journal-title":"SIAM J. on Numerical Analysis"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: a Modeling Language for Global Optimization. MIT Press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"10_CR18","unstructured":"M. Wallace, S. Novello, and J. Schimpf. ECLiPSe: A Platform for Constraint Logic Programming. Technical report, IC-Parc, London, 1997."},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BF02510924","volume":"38","author":"K. Yamamura","year":"1998","unstructured":"K. Yamamura, H. Kawata, and A. Tokue. Interval Analysis using Linear Programming. BIT, 38:188\u2013201, 1998.","journal-title":"BIT"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45988-X_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:43:43Z","timestamp":1556480623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45988-X_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433811","9783540459880"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45988-x_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}