{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T09:02:39Z","timestamp":1771059759560,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540568049","type":"print"},{"value":"9783540477501","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56804-2_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:41:16Z","timestamp":1330238476000},"page":"415-424","source":"Crossref","is-referenced-by-count":9,"title":["Automatic theorem generation in plane geometry"],"prefix":"10.1007","author":[{"given":"R.","family":"Bagai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Shanbhogue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"\u017bytkow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. C.","family":"Chou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1090\/conm\/029\/14","volume":"29","author":"S. C. Chou","year":"1984","unstructured":"S. C. Chou. Proving elementary geometry theorems using Wu's algorithm. Contemporary Mathematics, 29:243\u2013286, 1984.","journal-title":"Contemporary Mathematics"},{"key":"39_CR2","volume-title":"Mechanical Theorem Proving","author":"S. C. Chou","year":"1988","unstructured":"S. C. Chou. Mechanical Theorem Proving. D. Reidel Publishing Company, Dordrecht, Netherlands, 1988."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"S. C. Chou and X. S. Gao. Ritt-Wu's decomposition algorithm and geometry theorem proving. In Proceedings of CADE-10, 1990. Also in LNCS, Vol. 449, pages 207\u2013220, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52885-7_89"},{"key":"39_CR4","unstructured":"K. B. Haase. Cyrano-3: an experiment in representational invention. In J. M. \u0179ytkow, editor, Proceedings of the ML-92 Workshop on Machine Discovery, Aberdeen, U.K., pages 153\u2013160, 1992."},{"key":"39_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6090.001.0001","volume-title":"Scientific discovery: Computational explorations of the creative processes","author":"P. Langley","year":"1987","unstructured":"P. Langley, H. A. Simon, G. L. Bradshaw, and J. M. \u017bytkow. Scientific discovery: Computational explorations of the creative processes. MIT Press, Cambridge, MA, 1987."},{"key":"39_CR6","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1090\/conm\/029\/15","volume":"29","author":"D. B. Lenat","year":"1984","unstructured":"D. B. Lenat. Automated theory formation in mathematics. Contemporary Mathematics, 29:287\u2013314, 1984.","journal-title":"Contemporary Mathematics"},{"key":"39_CR7","volume-title":"Knowledge Discovery in Databases","year":"1991","unstructured":"Piatetsky-Shapiro and Frawley (Eds.). Knowledge Discovery in Databases. AAAI Press, Menlo Park, CA, 1991."},{"key":"39_CR8","volume-title":"Computational Models of Scientific Discovery and Theory Formation","year":"1990","unstructured":"Shrager and Langley (Eds.). Computational Models of Scientific Discovery and Theory Formation. Morgan Kaufmann Publishers, San Mateo, CA, 1990."},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"M. H. Sims. Empirical and analytic discovery in IL. In Proceedings of the 4th International Workshop on Machine Learning, Irvine, 1987.","DOI":"10.1016\/B978-0-934613-41-5.50031-3"},{"key":"39_CR10","first-page":"157","volume":"21","author":"W. Wu","year":"1978","unstructured":"Wen-Tsun Wu. On the decision problem and the mechanization of theorem proving in elementary geometry. Scientia Sinica, 21:157\u2013179, 1978.","journal-title":"Scientia Sinica"},{"issue":"3","key":"39_CR11","first-page":"207","volume":"4","author":"W. Wu","year":"1984","unstructured":"Wen-Tsun Wu. Basic principles of mechanical theorem proving in geometries. Journal of System Sciences and Mathematical Sciences, 4(3):207\u2013235, 1984.","journal-title":"Journal of System Sciences and Mathematical Sciences"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56804-2_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:56:16Z","timestamp":1619556976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56804-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568049","9783540477501"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-56804-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}