{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:17:16Z","timestamp":1725718636958},"publisher-location":"Dordrecht","reference-count":14,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048153503"},{"type":"electronic","value":"9789401712477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-94-017-1247-7_26","type":"book-chapter","created":{"date-parts":[[2013,3,11]],"date-time":"2013-03-11T04:02:28Z","timestamp":1362974548000},"page":"337-346","source":"Crossref","is-referenced-by-count":1,"title":["A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic"],"prefix":"10.1007","author":[{"given":"Adam","family":"Strzebonski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","first-page":"23","volume-title":"International Conference INTERVAL94. Abstracts","author":"A Akritas","year":"1994","unstructured":"Akritas, A., Bocharov, A., and Strzebonski, A.: Implementation of Real Root Isolation Algorithms in Mathematica, in: International Conference INTERVAL\u201994. Abstracts, St.Petersburg, Russia, 1994, pp. 23\u201327."},{"key":"26_CR2","volume-title":"Springer-Verlag","author":"B Caviness","year":"1998","unstructured":"Caviness, B. and Johnson, J., (eds): Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer-Verlag, 1998."},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume":"33","author":"GE Collins","year":"1975","unstructured":"Collins, G. E.: Quantifier Elimination for the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition, Lect. Notes Comput. Sci.\n              33 (1975), pp. 134\u2013183.","journal-title":"Lect. Notes Comput. Sci."},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"GE Collins","year":"1991","unstructured":"Collins, G. E. and Hong, H.: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination, J. Symbolic Comp.\n              12 (1991), pp. 299\u2013328.","journal-title":"J. Symbolic Comp."},{"doi-asserted-by":"crossref","unstructured":"Hong, H.: An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition, in: Proceedings of ISSAC,1990, pp. 261\u2013264.","key":"26_CR5","DOI":"10.1145\/96877.96943"},{"unstructured":"Jirstrand, M.: Constructive Methods for Inequality Constraints in Control, Linkoping Studies in Science and Technology, Dissertations\n              527 (1998).","key":"26_CR6"},{"key":"26_CR7","volume-title":"Course Notes, Math-ematica Conference","author":"JB Keiper","year":"1992","unstructured":"Keiper, J. B. and Withoff, D.: Numerical Computation in Mathematica, in: Course Notes, Math-ematica Conference, 1992."},{"key":"26_CR8","volume-title":"Caviness, B. and Johnson, J. (eds), Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer-Verlag","author":"S Mccallum","year":"1998","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."},{"key":"26_CR9","doi-asserted-by":"publisher","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.\n              5 (1988), pp. 141\u2013161.","journal-title":"J. Symbolic Comp."},{"issue":"5","key":"26_CR10","doi-asserted-by":"publisher","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\n              36 (5) (1993), pp. 432\u2013438.","journal-title":"The Computer Journal"},{"key":"26_CR11","volume-title":"Kluwer Academic Publishers","author":"D Mitrinovic","year":"1989","unstructured":"Mitrinovic, D., Pecaric, J. E., and Volenec, V.: Recent Advances in Geometric Inequalities, Kluwer Academic Publishers, 1989."},{"issue":"4","key":"26_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\n              4 (4) (1994), pp. 74\u201377.","journal-title":"The Mathematica Journal"},{"key":"26_CR13","doi-asserted-by":"publisher","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.\n              24 (1997), pp. 647\u2013656.","journal-title":"J. Symbolic Comp."},{"unstructured":"Wolfram, S.: The Mathematica Book, 3rd. Ed., 1996.","key":"26_CR14"}],"container-title":["Developments in Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-1247-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T17:13:39Z","timestamp":1557594819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-1247-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9789048153503","9789401712477"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-1247-7_26","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}