{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:14:59Z","timestamp":1725495299664},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421979"},{"type":"electronic","value":"9783540453352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45335-0_6","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T17:49:27Z","timestamp":1195062567000},"page":"82-87","source":"Crossref","is-referenced-by-count":1,"title":["A Generic Root Operation for Exact Real Arithmetic"],"prefix":"10.1007","author":[{"given":"Namhyun","family":"Hur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"H.J. Boehm, R. Cartwright, M.J. O\u2019Donnel, and M. Riggle, Exact real arithmetic: A case study in higher order programming, Proceedings of the 1986 ACM Conference on LISP and Functional Programming, ACM, 1986, pp. 162\u2013173.","DOI":"10.1145\/319838.319860"},{"key":"6_CR2","unstructured":"A. Edalat and F. Rico, Two algorithms for root finding in exact real arithmetic, Third Real Numbers and Computers Conference, pp. 27\u201344, 1998."},{"key":"6_CR3","unstructured":"J.H. Davenport, Computer algebra for cylindrical algebraic decomposition, Technical Report 88-10, Department of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, England."},{"key":"6_CR4","unstructured":"J. H. Davenport, Y. Siret, and E. Tournier, Computer Algebra, 2nd edition, Academic Press, 1993."},{"key":"6_CR5","unstructured":"John R. Harrison, Introduction to functional programming, Available from the web: http:\/\/www.cl.cam.ac.uk\/~jrh ."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"N. Hur and J.H. Davenport, An Exact Real Algebraic Arithmetic with Equality Determination, Proceedings of ISSAC 2000, pp. 169\u2013174.","DOI":"10.1145\/345542.345617"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1137\/0212031","volume":"12","author":"E. Kaltofen","year":"1983","unstructured":"Kaltofen, E., Musser, D.R., and Saunders, B.D., A Generalized Class of Polynomials That are Hard to Factor, SIAM J. Comp., pp. 473\u2013483, 12(1983).","journal-title":"SIAM J. Comp."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"R. Loos, Computing in algebraic extensions, Computing, 4(suppl.), pp. 173\u2013187.","DOI":"10.1007\/978-3-7091-3406-1_12"},{"key":"6_CR9","series-title":"PhD Thesis","volume-title":"Arithm\u00e9tique exacte: conception, algorithmique et performances d\u2019une implem\u00e9ntation informatique en pr\u00e9cision arbitraire","author":"V. M\u00e9nissier-Morain","year":"1994","unstructured":"V. M\u00e9nissier-Morain, Arithm\u00e9tique exacte: conception, algorithmique et performances d\u2019une implem\u00e9ntation informatique en pr\u00e9cision arbitraire, PhD Thesis, Universit\u00e9 Paris 7, December 1994."},{"key":"6_CR10","unstructured":"P.J. Potts, Exact real arithmetic using M\u00f6bius transformations, PhD Thesis, Imperial College, July 1998."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1006\/jsco.1997.0158","volume":"24","author":"A.W. Strzebo\u0144ski","year":"1997","unstructured":"A.W. Strzebo\u0144ski, Computing in the field of complex algebraic numbers, Journal of Symbolic Computation, 24 1997, pp. 647\u2013656.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Computability and Complexity in Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45335-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T12:12:52Z","timestamp":1556971972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45335-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421979","9783540453352"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45335-0_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}