{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:24Z","timestamp":1761596724917,"version":"3.43.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,8,1]],"date-time":"1999-08-01T00:00:00Z","timestamp":933465600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,8,1]],"date-time":"1999-08-01T00:00:00Z","timestamp":933465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Computing"],"published-print":{"date-parts":[[1999,8]]},"DOI":"10.1023\/a:1009924521389","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"337-346","source":"Crossref","is-referenced-by-count":6,"title":["A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic"],"prefix":"10.1007","volume":"5","author":[{"given":"Adam","family":"Strzebonski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"244307_CR1","unstructured":"Akritas, A., Bocharov, A., and Strzebonski, A.: Implementation of Real Root Isolation Algorithms in Mathematica, in: International Conference INTERVAL'94. Abstracts, St.Petersburg, Russia, 1994, pp. 23\u201327."},{"key":"244307_CR2","doi-asserted-by":"crossref","unstructured":"Caviness, B. and Johnson, J., (eds): Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer-Verlag, 1998.","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"244307_CR3","doi-asserted-by":"crossref","unstructured":"Collins, G. E.: Quantifier Elimination for the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition, Lect. Notes Comput. Sci.\n33 (1975), pp. 134\u2013183.","DOI":"10.1007\/3-540-07407-4_17"},{"key":"244307_CR4","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. E. Collins","year":"1991","unstructured":"Collins, G. E. and Hong, H.: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination, J. Symbolic Comp.\n12 (1991), pp. 299\u2013328.","journal-title":"J. Symbolic Comp."},{"key":"244307_CR5","doi-asserted-by":"crossref","unstructured":"Hong, H.: An Improvement of the Project Operator in Cylindrical Algebraic Decomposition, in: Proceedings of ISSAC, 1990, pp. 261\u2013264.","DOI":"10.1145\/96877.96943"},{"key":"244307_CR6","unstructured":"Jirstrand, M.: Constructive Methods for Inequality Constraints in Control, Linkoping Studies in Science and Technology, Dissertations\n527 (1998)."},{"key":"244307_CR7","unstructured":"Keiper, J. B. and Withoff, D.: Numerical Computation in Mathematica, in: Course Notes, Mathematica Conference, 1992."},{"key":"244307_CR8","doi-asserted-by":"crossref","unstructured":"McCallum, S.: An Improved Projection for Cylindrical Algebraic Decomposition, in: Caviness, B. and Johnson, J. (eds), Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer-Verlag, 1998.","DOI":"10.1007\/978-3-7091-9459-1_12"},{"key":"244307_CR9","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0747-7171(88)80010-5","volume":"5","author":"S. McCallum","year":"1988","unstructured":"McCallum, S.: An Improved Projection for Cylindrical Algebraic Decomposition of Three Dimensional Space, J. Symbolic Comp.\n5 (1988), pp. 141\u2013161.","journal-title":"J. Symbolic Comp."},{"issue":"5","key":"244307_CR10","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1093\/comjnl\/36.5.432","volume":"36","author":"S. McCallum","year":"1993","unstructured":"McCallum, S.: Using Cylindrical Algebraic Decomposition, The Computer Journal\n36(5) (1993), pp. 432\u2013438.","journal-title":"The Computer Journal"},{"key":"244307_CR11","doi-asserted-by":"crossref","unstructured":"Mitrinovic, D., Pecaric, J. E., and Volenec, V.: Recent Advances in Geometric Inequalities, Kluwer Academic Publishers, 1989.","DOI":"10.1007\/978-94-015-7842-4"},{"issue":"4","key":"244307_CR12","first-page":"74","volume":"4","author":"A. Strzebonski","year":"1994","unstructured":"Strzebonski, A.: An Algorithm for Systems of Strong Polynomial Inequalities, The Mathematica Journal\n4(4) (1994), pp. 74\u201377.","journal-title":"The Mathematica Journal"},{"key":"244307_CR13","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1006\/jsco.1997.0158","volume":"24","author":"A. Strzebonski","year":"1997","unstructured":"Strzebonski, A.: Computing in the Field of Complex Algebraic Numbers, J. Symbolic Comp.\n24 (1997), pp. 647\u2013656.","journal-title":"J. Symbolic Comp."},{"key":"244307_CR14","unstructured":"Wolfram, S.: The Mathematica Book, 3rd. Ed., 1996."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009924521389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009924521389\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009924521389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:38:44Z","timestamp":1754473124000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009924521389"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,8]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,8]]}},"alternative-id":["244307"],"URL":"https:\/\/doi.org\/10.1023\/a:1009924521389","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[1999,8]]}}}