{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:15Z","timestamp":1725663195801},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167808"},{"type":"electronic","value":"9783540398615"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16780-3_141","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:01:00Z","timestamp":1330196460000},"page":"693-694","source":"Crossref","is-referenced-by-count":1,"title":["A geometry theorem prover based on Buchberger's algorithm"],"prefix":"10.1007","author":[{"given":"B.","family":"Kutzler","sequence":"first","affiliation":[]},{"given":"S.","family":"Stifter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"BUCHBERGER B., 1965\/85: Gr\u00f6bner Bases \u2014 An Algorithmic Method in Polynomial Ideal Theory. Chapter 6 in N.K. Boss (ed.): \u2018Multidimensional Systems Theory', R.Reidel Publ.Comp.","key":"67_CR1"},{"doi-asserted-by":"crossref","unstructured":"CHOU S.C., SCHELTER W.F., 1986: Proving Geometry Theorems with Rewrite Rules. Subm. to J. of Automated Reasoning.","key":"67_CR2","DOI":"10.1007\/BF02328448"},{"unstructured":"KAPUR D., 1986: Geometry Theorem Proving Using Gr\u00f6bner Bases. To appear as application letter in the J. of Symbolic Computation.","key":"67_CR3"},{"doi-asserted-by":"crossref","unstructured":"KUTZLER B., STIFTER S., 1986a: Automated Geometry Theorem Proving Using Buchberger's Algorithm. To appear in the Proc. of SYMSAC'86, Waterloo, Canada.","key":"67_CR4","DOI":"10.1145\/32439.32480"},{"doi-asserted-by":"crossref","unstructured":"KUTZLER B., STIFTER S., 1986b: On the Application of Buchberger's Algorithm for Automated Geometry Theorem Proving. To appear as application letter in the J. of Symbolic Computation.","key":"67_CR5","DOI":"10.1016\/S0747-7171(86)80006-2"},{"issue":"3","key":"67_CR6","first-page":"207","volume":"4","author":"W.T. Wu","year":"1978","unstructured":"WU W.T., 1978\/84: Basic Principles of Mechanical Theorem Proving in Elementary Geometries. Journal of System Sciences and Mathematical Sciences, vol. 4, no. 3, pp. 207\u2013235.","journal-title":"Journal of System Sciences and Mathematical Sciences"}],"container-title":["Lecture Notes in Computer Science","8th International Conference on Automated Deduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16780-3_141.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:38Z","timestamp":1605643898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16780-3_141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167808","9783540398615"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-16780-3_141","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}