{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:35Z","timestamp":1725456215060},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012890","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"770-771","source":"Crossref","is-referenced-by-count":1,"title":["Geometer: A theorem prover for algebraic geometry"],"prefix":"10.1007","author":[{"given":"David A.","family":"Cyrluk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Harris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"Kapur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"71_CR1","doi-asserted-by":"crossref","unstructured":"Buchberger, B., \u201cGroebner Bases: An Algorithmic Method in Polynomial Ideal Theory,\u201d in Multidimensional Systems Theory (ed. N.K. Bose), Reidel, 184\u2013232, 1985.","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"71_CR2","volume-title":"Proving and Disproving Theorems in Elementary Geometry using Wu's Method","author":"S.C. Chou","year":"1985","unstructured":"Chou, S.C., Proving and Disproving Theorems in Elementary Geometry using Wu's Method. Ph.D. Thesis, Dept. of Mathematics, University of Texas, Austin, 1985."},{"key":"71_CR3","unstructured":"Cyrluk, D., Kapur, D., Mundy, J., and Nguyen, V., \u201cFormation of Partial 3D Models from 2D Projections \u2014 An Application of Algebraic Reasoning,\u201d Proc. DARPA Workshop on Image Understanding, Los Angeles, Calif., 798\u2013809, February 1987."},{"key":"71_CR4","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D. Kapur","year":"1986","unstructured":"Kapur, D., \u201cUsing Groebner Bases to Reason about Geometry Problems,\u201d J. of Symbolic Computation, 2, 399\u2013408, 1986.","journal-title":"J. of Symbolic Computation"},{"key":"71_CR5","doi-asserted-by":"crossref","unstructured":"Kapur, D., \u201cA Refutational Approach to Geometry Theorem Proving,\u201d to appear in a special issue of the Artifical Intelligence Journal on an International Workshop on Geometry, Oxford, England, June 1986. A preliminary version appeared under the title \u201cGeometry Theorem Proving using Hilbert's Nullstellensatz,\u201d Proc. SYMSAC 1986, Waterloo, Canada, July 1986, 202\u2013208.","DOI":"10.1145\/32439.32479"},{"issue":"3","key":"71_CR6","first-page":"207","volume":"4","author":"W. Wu","year":"1984","unstructured":"Wu, W., \u201cBasic Principles of Mechanical Theorem Proving in Elementary Geometries,\u201d J. of System Sciences and Mathematical Sciences, 4, 3, 207\u2013223, 1984. Also published in J. of Automated Reasoning, 2, 3, September 1986, 221\u2013253.","journal-title":"J. of System Sciences and Mathematical Sciences"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:24:07Z","timestamp":1586579047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012890"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0012890","relation":{},"subject":[]}}