{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T14:59:10Z","timestamp":1775228350384,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642210457","type":"print"},{"value":"9783642210464","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21046-4_10","type":"book-chapter","created":{"date-parts":[[2011,5,3]],"date-time":"2011-05-03T14:57:03Z","timestamp":1304434623000},"page":"189-195","source":"Crossref","is-referenced-by-count":35,"title":["An Introduction to Java Geometry Expert"],"prefix":"10.1007","author":[{"given":"Zheng","family":"Ye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shang-Ching","family":"Chou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Cut-the-knot, http:\/\/www.cut-the-knot.org\/pythagoras\/index.shtml"},{"key":"10_CR2","unstructured":"Chou, S., Gao, X., Ye, Z.: Java geometry expert server (2009), http:\/\/woody.cs.wichita.edu"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00283133","volume":"17","author":"S. Chou","year":"1996","unstructured":"Chou, S., Gao, X., Zhang, J.: Automated generation of readable proofs with geometric invariants, II. Theorem proving with full-angles. Journal Automated Reasoning\u00a017, 325\u2013347 (1996)","journal-title":"Journal Automated Reasoning"},{"key":"10_CR4","volume-title":"Mechanical geometry theorem proving","author":"S.C. Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical geometry theorem proving. Springer, Heidelberg (1988)"},{"key":"10_CR5","unstructured":"Chou, S.C., Gao, X., Ye, Z.: Java Geometry Expert. In: Proceedings of the 10th Asian Technology Conference in Mathematics, pp. 78\u201384 (2005)"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1006171315513","volume":"25","author":"S.C. Chou","year":"2000","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: A deductive database approach to automated geometry theorem proving and discovering. Journal of Automated Reasoning\u00a025(3), 219\u2013246 (2000)","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1006031329384","volume":"21","author":"A. Dolzmann","year":"1998","unstructured":"Dolzmann, A., Sturm, T., Weispfenning, V.: A new approach for automatic theorem proving in real geometry. Journal of Automated Reasoning\u00a021(3), 357\u2013380 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"10_CR8","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters Pub. (1998) (in Chinese)"},{"issue":"4","key":"10_CR9","first-page":"357","volume":"26","author":"L. Hongbo","year":"1997","unstructured":"Hongbo, L., Minde, C.: Proving theorems in elementary geometry with Glifford algebraic method. Chinese Math. Progress\u00a026(4), 357\u2013371 (1997)","journal-title":"Chinese Math. Progress"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Li, H.: Some applications of Clifford algebra to geometries. Automated Deduction in Geometry, 156\u2013179 (1999)","DOI":"10.1007\/3-540-47997-X_9"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Nelsen, R.: Proofs without words: Exercises in visual thinking. Mathematical Assn of Amer (1993)","DOI":"10.2307\/2690480"},{"key":"10_CR12","unstructured":"Nelsen, R.: Proofs without words: More exercises in visual thinking. Mathematical Assn of Amer (2001)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Nelsen, R., Alsina, C.: Math Made Visual: Creating Images for Understanding Mathematics. Mathematical Assn of Amer (2006)","DOI":"10.5948\/UPO9781614441007"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Wang, D.: Reasoning about geometric problems using an elimination method. Automatic Practical Reasoning, 147\u2013185 (1989)","DOI":"10.1007\/978-3-7091-6604-8_8"},{"key":"10_CR15","unstructured":"Wang, D.M., Gao, X.S.: Geometry theorems proved mechanically using Wu\u2019method\u2013part on Euclidean geometry. Mathematics-Mechanization Research Preprints\u00a02 (1987)"},{"issue":"2","key":"10_CR16","first-page":"159","volume":"21","author":"W. Wen-Tsun","year":"1978","unstructured":"Wen-Tsun, W.: On the decision problem and the mechanization of theorem proving in elementary geometry. Scientia Sinica\u00a021(2), 159\u2013172 (1978)","journal-title":"Scientia Sinica"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-009-9158-1","volume":"45","author":"Z. Ye","year":"2010","unstructured":"Ye, Z., Chou, S.C., Gao, X.S.: Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method. Journal of Automated Reasoning\u00a045, 1\u201324 (2010)","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21046-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T13:42:56Z","timestamp":1712410976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21046-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210457","9783642210464"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21046-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}