{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T05:42:10Z","timestamp":1648618930954},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540601562","type":"print"},{"value":"9783540495338","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60156-2_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:46:22Z","timestamp":1330278382000},"page":"10-17","source":"Crossref","is-referenced-by-count":0,"title":["A practical algorithm for geometric theorem proving"],"prefix":"10.1007","author":[{"given":"Ashutosh","family":"Rege","sequence":"first","affiliation":[]},{"given":"John","family":"Canny","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"J.F. Canny. An improved sign determination algorithm. In AAECC-91, 1991. New Orleans.","DOI":"10.1007\/3-540-54522-0_100"},{"key":"2_CR2","unstructured":"John Canny. A toolkit for non-linear algebra. (manuscript), 1993."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"S.-C. Chou. Proving elementary geometry theorems using Wu's algorithm. In W.W. Bledsoe and D.W. Loveland, editors, Theorem Proving: After 25 Years. American Mathematical Society, 1984.","DOI":"10.1090\/conm\/029\/14"},{"key":"2_CR4","volume-title":"Mathematics and its applications","author":"S.-C. Chou","year":"1988","unstructured":"S.-C. Chou. Mechanical geometry theorem proving. Mathematics and its applications. D. Reidel, Holland, 1988."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BF00248249","volume":"2","author":"H. Coelho","year":"1986","unstructured":"H. Coelho and L.M. Pereira. Automated reasoning in geometry theorem proving with PROLOG. J. Automated Reasoning, 2:329\u2013390, 1986.","journal-title":"J. Automated Reasoning"},{"key":"2_CR6","volume-title":"Computers and Thought","author":"H. Gelernter","year":"1963","unstructured":"H. Gelernter. Realization of a geometry theorem proving machine. In E.A. Feigenbaum and J.E. Feldman, editors, Computers and Thought. McGraw-Hill, New York, 1963."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"D. Kapur. A refutational approach to geometry theorem proving. In D. Kapur and J.L. Mundy, editors, Geometric Reasoning. MIT Press, 1988.","DOI":"10.1016\/0004-3702(88)90050-1"},{"key":"2_CR8","volume-title":"International Workshop on Geometry Reasoning","author":"H.-P. Ko","year":"1986","unstructured":"H.-P. Ko. Geometry theorem proving by decomposition of semi-algebraic sets \u2014 an application of Wu's structure theorem. In International Workshop on Geometry Reasoning, 1986. Oxford, England."},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B. Kutzler","year":"1986","unstructured":"B. Kutzler and S. Stifter. On the application of Buchberger's algorithm to automated geometry theorem proving. J. Symbolic Comput., 2:409\u2013420, 1986.","journal-title":"J. Symbolic Comput."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"A. Rege and J. Canny. A practical algorithm for geometric theorem proving. In preparation, 1994.","DOI":"10.1145\/220279.220309"},{"key":"2_CR11","unstructured":"J. Renegar. On the computational complexity and geometry of the first-order theory of the reals, parts I, II and III. Technical Report 852,855,856, Cornell University, Operations Research Dept., 1989."},{"key":"2_CR12","first-page":"150","volume":"21","author":"W. Wu","year":"1978","unstructured":"W. Wu. On the decision problem and mechanization of theorem proving in elementary geometry. Sci. Sinica, 21:150\u2013172, 1978.","journal-title":"Sci. Sinica"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"W. Wu. Some recent advances in mechanical theorem proving of geometries. In W.W. Bledsoe and D.W. Loveland, editors, Theorem Proving: After 25 Years. American Mathematical Society, 1984.","DOI":"10.1090\/conm\/029\/13"}],"container-title":["Integrating Symbolic Mathematical Computation and Artificial Intelligence","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60156-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:22Z","timestamp":1605646522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60156-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601562","9783540495338"],"references-count":13,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-60156-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1995]]}}}