{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:40:27Z","timestamp":1777657227587,"version":"3.51.4"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1007\/bf00283134","type":"journal-article","created":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T11:33:20Z","timestamp":1095593600000},"page":"349-370","source":"Crossref","is-referenced-by-count":55,"title":["Automated generation of readable proofs with geometric invariants"],"prefix":"10.1007","volume":"17","author":[{"given":"Shang-Ching","family":"Chou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing-Zhong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00283134_CR1","doi-asserted-by":"crossref","unstructured":"Bancilhon, F. and Ramakrishnan, R.: An Amateur's introduction to recursive query processing strategies, in C. Zanioilo (ed.), Proc. ACM SIGMOD Conf., 1986, pp. 16\u201352.","DOI":"10.1145\/16894.16859"},{"key":"BF00283134_CR2","doi-asserted-by":"crossref","unstructured":"Chou, S. C., Gao, X. S., and Zhang, J. Z.: Machine Proofs in Geometry, World Scientific, 1994.","DOI":"10.1142\/2196"},{"key":"BF00283134_CR3","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00283133","volume":"17","author":"S. C. Chou","year":"1996","unstructured":"Chou, S. C., Gao, X. S., and Zhang, J. Z.: Automated generation of readable proofs with geometric invariants, I. Multiple and shortest proof generation, J. Automated Reasoning 17 (1996), 325\u2013347 (this issue).","journal-title":"J. Automated Reasoning"},{"key":"BF00283134_CR4","doi-asserted-by":"crossref","unstructured":"Chou, S. C., Gao, X. S., and Zhang, J. Z.: A Collection of 110 Geometry Theorems and Their Machine Proofs Based on Full-Angles, TR-94-4, CS Dept., WSU, Nov. 1994.","DOI":"10.1142\/2196"},{"key":"BF00283134_CR5","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF00248249","volume":"2","author":"H. Coelho","year":"1986","unstructured":"Coelho, H. and Pereira, L. M.: Automated reasoning in geometry theorem proving with Prolog, J. Automated Reasoning 2 (1986), 329\u2013390.","journal-title":"J. Automated Reasoning"},{"key":"BF00283134_CR6","doi-asserted-by":"crossref","unstructured":"Gerlentner, H., Hanson, J. R., and Loveland, D. W.: Empirical explorations of the geometrytheorem proving machine, in Proc. Est. Joint Computer Conf., 1960, pp. 143\u2013147.","DOI":"10.1145\/1460361.1460381"},{"key":"BF00283134_CR7","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0004-3702(70)90005-6","volume":"1","author":"P. C. Gilmore","year":"1988","unstructured":"Gilmore, P. C.: An examination of the geometry theorem proving machine, Artificial Intelligence 1 (1988), 171\u2013187.","journal-title":"Artificial Intelligence"},{"key":"BF00283134_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(75)90013-2","volume":"6","author":"A. J. Nevins","year":"1977","unstructured":"Nevins, A. J.: Plane geometry theorem proving using forward chaining, Artificial Intelligence 6 (1977), 1\u201323.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"BF00283134_CR9","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00297245","volume":"4","author":"M. Stickel","year":"1985","unstructured":"Stickel, M.: A prolog technology theorem prover: Implementation by an extended prolog compiler, J. Automated Reasoning 4(4) (1985), 353\u2013380.","journal-title":"J. Automated Reasoning"},{"key":"BF00283134_CR10","volume-title":"Basic Principles of Mechanical Theorem Proving in Geometries, Vol. I: Part of Elementary Geometries","author":"Wu Wen-ts\u00fcn","year":"1984","unstructured":"Wen-ts\u00fcn, Wu: Basic Principles of Mechanical Theorem Proving in Geometries, Vol. I: Part of Elementary Geometries, Science Press, Beijing, 1984 [in Chinese]."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00283134.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00283134\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00283134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T17:39:01Z","timestamp":1734543541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00283134"}},"subtitle":["II. Theorem proving with full-angles"],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["BF00283134"],"URL":"https:\/\/doi.org\/10.1007\/bf00283134","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}