{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:16:25Z","timestamp":1764173785570,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250699"},{"type":"electronic","value":"9783642250705"}],"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-25070-5_13","type":"book-chapter","created":{"date-parts":[[2011,11,8]],"date-time":"2011-11-08T20:30:55Z","timestamp":1320784255000},"page":"221-258","source":"Crossref","is-referenced-by-count":5,"title":["Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method"],"prefix":"10.1007","author":[{"given":"Yu","family":"Zou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingzhong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"1155","volume":"29","author":"J.Z. Zhang","year":"2009","unstructured":"Zhang, J.Z., Li, Y.B.: Automaic theorem proving for three decades. Journal of Systems Science and Mathematical Sciences (J. Sys. Sci. & Math. Scis.)\u00a029, 1155\u20131168 (2009)","journal-title":"Journal of Systems Science and Mathematical Sciences (J. Sys. Sci. & Math. Scis.)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Wu, W.T.: On the Decision Problem and The Mechanization of Theorem Proving in Elemengtary Geometry. In: Automated Theorem Proving: After 25 years, vol.\u00a029, pp. 213\u2013214. American Mathematical Society (1984)","DOI":"10.1090\/conm\/029\/12"},{"key":"13_CR3","unstructured":"Chou, S.C.: Proving and dicoversing geometry theorems using Wu\u2019s method. Ph.D. thsis. The University of Texas, Austin (1985)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-7091-6604-8_8","volume-title":"Automated Practical Reasoning","author":"D. Wang","year":"1995","unstructured":"Wang, D.: Reasoning about geometric problems using an elimination method. In: Pfalzgraf, J., Wang, D. (eds.) Automated Practical Reasoning, pp. 147\u2013185. Springer, New York (1995)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D. Kapur","year":"1986","unstructured":"Kapur, D.: Using Gr\u00f6bner bases to reason about geometry problems. Journal of Symbolic Computation\u00a02, 399\u2013408 (1986)","journal-title":"Journal of Symbolic Computation"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Chou, S.C.: Automated reasoning in geometries using the characteristic set method and Gr\u00f6bner basis method. In: Proc. ISSAC 1990, Tokyo, pp. 255\u2013260 (1990)","DOI":"10.1145\/96877.96942"},{"key":"13_CR7","first-page":"205","volume-title":"Mathematics Mechanization and Applications","author":"H. Li","year":"2000","unstructured":"Li, H.: Clifford algebra approaches to mechanical geometry theorem proving. In: Gao, X.S., Wang, D. (eds.) Mathematics Mechanization and Applications, pp. 205\u2013299. Academic Press, San Diego (2000)"},{"key":"13_CR8","first-page":"824","volume":"29","author":"J. Hong","year":"1986","unstructured":"Hong, J.: Can we prove geometry theorems by computing an example? Sci. Sinica.\u00a029, 824\u2013834 (1986)","journal-title":"Sci. Sinica."},{"key":"13_CR9","first-page":"244","volume-title":"Proc. IWMM 1992","author":"L. Yang","year":"1992","unstructured":"Yang, L., Zhang, J.Z., Li, C.Z.: A prover for parallel numerical verification of a class of constructive geometry theorems. In: Proc. IWMM 1992, pp. 244\u2013255. Inter. Academic Publishers, Beijing (1992)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated production of traditional proofs for constructive geometry theorems. In: Vardi, M. (ed.) Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science LICS, Montreal, pp. 48\u201356 (1993)","DOI":"10.1109\/LICS.1993.287601"},{"key":"13_CR11","doi-asserted-by":"publisher","DOI":"10.1142\/2196","volume-title":"Machine proofs in geometry: Automated production of readable proofs for geometry theorems","author":"S.C. Chou","year":"1994","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine proofs in geometry: Automated production of readable proofs for geometry theorems. World Scientific, Singapore (1994)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1006171315513","volume":"25","author":"S.C. Chou","year":"1996","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, 219\u2013246 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Mechanical theorem proving by vector calculation. In: Proc ISSAC 1993, Keiv, pp. 284\u2013291 (1993)","DOI":"10.1145\/164081.164142"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF00283134","volume":"17","author":"S.C. Chou","year":"1996","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated production of readable proofs with geometric invariants, theorem proving with full-angles. Journal of Automated Reasoning\u00a017, 349\u2013370 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"13_CR15","first-page":"27","volume-title":"Geometric Computing with Clifford Algebra","author":"H. Li","year":"2000","unstructured":"Li, H., Hestenes, D.: Rockwood A. Generalized homogeneous coordinates for computational geometry. In: Sommer, G. (ed.) Geometric Computing with Clifford Algebra, pp. 27\u201360. Springer, Heidelberg (2000)"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-0348-7838-8_17","volume-title":"Trends in Mathematics: Advances in Analysis and Geometry","author":"H. Li","year":"2004","unstructured":"Li, H.: Automated Geometric Theorem Proving, Clifford bracket algebra and Clifford expansions. In: Trends in Mathematics: Advances in Analysis and Geometry, pp. 345\u2013363. Birkh\u00e4user, Basel (2004)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Li, H.: Symbolic computation in the homogeneous geometric model with Clifford algebra. In: Gutierrez, J. (ed.) Proc. ISSAC 2004, pp. 221\u2013228. ACM Press (2004)","DOI":"10.1145\/1005285.1005318"},{"key":"13_CR18","doi-asserted-by":"publisher","DOI":"10.1142\/6514","volume-title":"Invariant algebras and geometric reasoning","author":"H. Li","year":"2008","unstructured":"Li, H.: Invariant algebras and geometric reasoning. World Scientific, Singapore (2008)"},{"key":"13_CR19","unstructured":"Rhoad, R., Milauskas, G., Whipple, R.: Geometry for Enjoyment and Challenge. McDougal, Littell & Company (1991)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Pedoe, D.: Notes on the History of Geometrical Ideas I: Homogeneous Coordinates. Math. Magazine, 215\u2013217 (1975)","DOI":"10.1080\/0025570X.1975.11976490"},{"key":"13_CR21","unstructured":"Tom, R.: Mass point geometry, http:\/\/mathcircle.berkeley.edu\/archivedocs\/2007_2008\/lectures\/0708lecturesps\/MassPointsBMC07.ps"},{"key":"13_CR22","unstructured":"Tom, R.: Mass point geometry (Barycentirc Coordinates), http:\/\/mathcircle.berkeley.edu\/archivedocs\/1999_2000\/lectures\/9900lecturespdf\/mpgeo.pdf"},{"key":"13_CR23","unstructured":"Coxeter, H.S.M.: Introduction to Geometry, pp. 216\u2013221. John Wiley & Sons, Inc. (1969)"}],"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-25070-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T04:01:36Z","timestamp":1560916896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25070-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250699","9783642250705"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25070-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}