{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:22Z","timestamp":1725665002034},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_78","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:49:59Z","timestamp":1330292999000},"page":"166-170","source":"Crossref","is-referenced-by-count":10,"title":["GEOTHER: A geometry theorem prover"],"prefix":"10.1007","author":[{"given":"Dongming","family":"Wang","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional systems theory","author":"B. Buchberger","year":"1985","unstructured":"Buchberger, B.: Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory. In: B\u00f6se, N. K. (ed.): Multidimensional systems theory. Dordrecht-Boston: D. Reidel Publ. Co. (1985), pp. 184\u2013232."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Hong, H., Wang, D., Winkler, F. (eds.): Short description of existing provers. Ann. Math. Artif. Intell. 13 (1995) 195\u2013202.","DOI":"10.1007\/BF01531329"},{"key":"#cr-split#-15_CR3.1","unstructured":"Wang, D.: Geometry theorem proving with existing technology. In: Medlar II 12-month deliverables. DOC, Imperial College, Univ. of London (1993);"},{"key":"#cr-split#-15_CR3.2","unstructured":"Proc. 1st Asian Tech. Conf. Math. (Singapore, December 18???21, 1995), pp. 561???570."},{"key":"15_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical theorem proving in geometries: Basic principles","author":"W. Wu","year":"1994","unstructured":"Wu, W.: Mechanical theorem proving in geometries: Basic principles. Wien-New York: Springer-Verlag (1994)."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:22Z","timestamp":1605647242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}