{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T14:58:14Z","timestamp":1769525894589,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540615118","type":"print"},{"value":"9783540686873","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_86","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:50:15Z","timestamp":1330293015000},"page":"235-239","source":"Crossref","is-referenced-by-count":6,"title":["An introduction to geometry expert"],"prefix":"10.1007","author":[{"given":"Shang-Ching","family":"Chou","sequence":"first","affiliation":[]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Jing-Zhong","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"23_CR1","volume-title":"Mechanical Geometry Theorem Proving","author":"S. C. Chou","year":"1988","unstructured":"S. C. Chou, Mechanical Geometry Theorem Proving, D.Reidel Publishing Company, Dordrecht, Netherlands, 1988."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"S. C. Chou, A Geometry Theorem Prover for Macintoshes, in Proceedings of 11th International Conference on Automated Deduction (CADE-11), Lecture Notes in Computer Science, Vol. 607, 686\u2013689, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55602-8_204"},{"key":"23_CR3","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"S. C. Chou","year":"1994","unstructured":"S. C. Chou, X. S. Gao, & J. Z. Zhang, Machine Proofs in Geometry, World Scientific, Singapore, 1994."},{"key":"23_CR4","unstructured":"S. C. Chou, X. S. Gao, & J. Z. Zhang, A Fixpoint Approach To Automated Geometry Theorem Proving, WSUCS-95-2, CS Dept, Wichita State University, 1995."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"D. Kapur, Geometry Theorem Proving Using Hilbert's Nullstellensatz, Proc. of SYMSAC'86, Waterloo, 1986, 202\u2013208.","DOI":"10.1145\/32439.32479"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"B. Kutzler & S. Stifter, Automated Geometry Theorem Proving Using Buchberger's Algorithm, Proc. of SYMSAC'86, Waterloo, 1986, 209\u2013214.","DOI":"10.1145\/32439.32480"},{"key":"23_CR7","volume-title":"Volume I: Part of Elementary Geometries","author":"W. Wen-ts\u00fcn","year":"1984","unstructured":"Wu Wen-ts\u00fcn, Basic Principles of Mechanical Theorem Proving in Geometries, Volume I: Part of Elementary Geometries, Science Press, Beijing (in Chinese), 1984."}],"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_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:25Z","timestamp":1605647245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}