{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:09Z","timestamp":1749124089544},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601142"},{"type":"electronic","value":"9783540494409"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60114-7_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:42:13Z","timestamp":1330278133000},"page":"183-193","source":"Crossref","is-referenced-by-count":6,"title":["A case of automatic theorem proving in Euclidean geometry: the Maclane 83 theorem"],"prefix":"10.1007","author":[{"given":"Pasqualina","family":"Conti","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Traverso","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"S. C. Chou, Mechanical Geometry Theorem Proving, W. Reidel Pub. C., 1988","DOI":"10.1007\/978-94-009-4037-6"},{"key":"14_CR2","unstructured":"S.C. Chou, X.S. Gao, and N. Mcphee, A Combination of Ritt-Wu's Method and Collins' Method, TR-89-28, CS department, The University of Texas at Austin, 1989."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"A. Guergueb, J. Mainguen\u00e9, M.F. Roy, Examples of automatic theorem proving in real geometry, in ISSSAC-94, p. 20\u201323, ACM press (1994)","DOI":"10.1145\/190347.190354"},{"key":"14_CR4","volume-title":"PhD Thesis","author":"B. Kutzler","year":"1988","unstructured":"B. Kutzler,Algebraic Approaches to Automated Geometry Theorem Proving. PhD Thesis, Univ. of Linz, Linz (Austria), 1988."},{"key":"14_CR5","unstructured":"The POSSO Gr\u00f6bner library, http:\/\/posso.dm.unipi.it\/possolib or email:\/\/posso-request@posso.dm.unipi.it"},{"key":"14_CR6","unstructured":"F. Rouillier, M.F.Roy, A. Szpirglas, Multivariate symmetric functions and polynomial system solving, Technical Report, 1995"}],"container-title":["Lecture Notes in Computer Science","Applied Algebra, Algebraic Algorithms and Error-Correcting Codes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60114-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:59Z","timestamp":1605646499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60114-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601142","9783540494409"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-60114-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}