{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:23Z","timestamp":1725663323254},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540128687"},{"type":"electronic","value":"9783540387565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12868-9_89","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:56:11Z","timestamp":1330192571000},"page":"36-44","source":"Crossref","is-referenced-by-count":4,"title":["Towards mechanical solution of the Kahan ellipse problem I"],"prefix":"10.1007","author":[{"given":"Dennis S.","family":"Arnon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott F.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"5_CR1","series-title":"Technical Report","volume-title":"Algorithms for the geometry of semi-algebraic sets","author":"DS Arnon","year":"1981","unstructured":"DS Arnon, \u201cAlgorithms for the geometry of semi-algebraic sets,\u201d Technical Report #436, Computer Science Dept., University of Wisconsin, Madison, Wisconsin(1981). (Ph.D. thesis)"},{"key":"5_CR2","unstructured":"DS Arnon, GE Collins, and S McCallum, \u201cCylindrical algebraic decomposition I: the basic algorithm,\u201d Technical Report CSD TR-427, Computer Science Dept., Purdue University(December, 1982)."},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-11607-9_25","volume-title":"Proceedings of the European Computer Algebra Conference (EUROCAM '82)","author":"DS Arnon","year":"1982","unstructured":"DS Arnon and S McCallum, \u201cCylindrical algebraic decomposition by quantifier elimination,\u201d pp. 215\u2013222 in Proceedings of the European Computer Algebra Conference (EUROCAM '82), ed. J Calmet, Lecture Notes in Computer Science, 144, Springer-Verlag, Berlin(1982)."},{"key":"5_CR4","series-title":"Lecture notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Proceedings of the Second GI Conference on Automata and Formal Languages","author":"GE Collins","year":"1975","unstructured":"GE Collins, \u201cQuantifier elimination for real closed fields by cylindrical algebraic decomposition,\u201d pp. 134\u2013163 in Proceedings of the Second GI Conference on Automata and Formal Languages, Lecture notes in Computer Science, 33, Springer-Verlag, Berlin(1975)."},{"key":"5_CR5","first-page":"19","volume":"14","author":"GE Collins","year":"1980","unstructured":"GE Collins, \u201cSAC-2 and ALDES now available,\u201d SIGSAM Bulletin (of the Association for Computing Machinery) 14, p. 19 (1980).","journal-title":"SIGSAM Bulletin (of the Association for Computing Machinery)"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1088309.1088312","volume":"9","author":"W Kahan","year":"1975","unstructured":"W Kahan, \u201cProblem #9: An ellipse problem,\u201d SIGSAM Bulletin of the Assoc. Comp. Mach. 9, p. 11 (1975).","journal-title":"SIGSAM Bulletin of the Assoc. Comp. Mach."},{"key":"5_CR7","volume-title":"Elements of mathematical logic (model theory)","author":"G Kreisel","year":"1967","unstructured":"G Kreisel and JL Krivine, Elements of mathematical logic (model theory), North-Holland, Amsterdam(1967)."},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1088240.1088244","volume":"11","author":"M Lauer","year":"1977","unstructured":"M Lauer, \u201cA solution to Kahan's problem (SIGSAM problem no. 9),\u201d SIGSAM Bulletin of the Assoc. Comp. Mach. 11, pp. 16\u201320 (1977).","journal-title":"SIGSAM Bulletin of the Assoc. Comp. Mach."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"A Tarski, A decision method for elementary algebra and geometry, University of California Press(1951). (second revised edition)","DOI":"10.1525\/9780520348097"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12868-9_89.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:25:38Z","timestamp":1640913938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12868-9_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540128687","9783540387565"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-12868-9_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}