{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:35:51Z","timestamp":1743003351991,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646754"},{"type":"electronic","value":"9783540691105"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054242","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T07:28:51Z","timestamp":1149665331000},"page":"17-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Proving geometric theorems using clifford algebra and rewrite rules"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"F\u00e8vre","sequence":"first","affiliation":[]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-8157-4","volume-title":"Clifford algebras with numeric and symbolic computations","author":"R. Ablamowicz","year":"1996","unstructured":"Ablamowicz, R., Lounesto, P., Parra J. M.: Clifford algebras with numeric and symbolic computations. Birkh\u00c4user, Boston (1996)."},{"key":"3_CR2","first-page":"196","volume":"909","author":"P. Balbiani","year":"1995","unstructured":"Balbiani, P., Fari\u00f1as del Cerro, L.: Affine geometry of collinearity and conditional term rewriting. In: Proc. French Spring School Theor. Comput. Sci. (Font-romeu, May 17\u201321, 1993), LNCS 909, pp. 196\u2013213 (1995).","journal-title":"LNCS"},{"key":"3_CR3","volume-title":"Mechanical geometry theorem proving","author":"S.-C Chou","year":"1988","unstructured":"Chou, S.-C: Mechanical geometry theorem proving. Reidel, Dordrecht (1988)."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF02328448","volume":"2","author":"S.-C. Chou","year":"1986","unstructured":"Chou, S.-C., Schelter, W. F.: Proving geometry theorems with rewrite rules. J. Automat. Reason. 2: 253\u2013273 (1986).","journal-title":"J. Automat. Reason."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated geometry theorem proving by vector calculation. In: Proc. ISSAC '93 (Kiev, July 6\u20138, 1993), pp. 284\u2013291.","DOI":"10.1145\/164081.164142"},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine proofs in geometry","author":"S.-C. Chou","year":"1994","unstructured":"Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine proofs in geometry. World Scientific, Singapore (1994)."},{"key":"3_CR7","volume-title":"Technical report","author":"E. Contejean","year":"1997","unstructured":"Contejean, E., March\u00e9, C., Rabehasaina, L.: Rewrite systems for natural, integral and rational arithmetic. Technical report, L.R.I., Universit\u00e9 de Paris-Sud, France (1997)."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"F\u00e8vre, S.: Integration of reasoning and algebraic calculus in geometry. In: Automated deduction in geometry (D. Wang et al., eds.), LNAI 1360, pp. 218\u2013234 (1998).","DOI":"10.1007\/BFb0022718"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1016\/S0747-7171(08)80120-4","volume":"11","author":"T. F. Havel","year":"1991","unstructured":"Havel, T. F.: Some examples of the use of distances as coordinates for Euclidean geometry. J. Symb. Comput. 11: 579\u2013593 (1991).","journal-title":"J. Symb. Comput."},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6292-7","volume-title":"Clifford algebra to geometric calculus","author":"D. Hestenes","year":"1984","unstructured":"Hestenes, D., Sobczyk, G.: Clifford algebra to geometric calculus. Reidel, Dordrecht (1984)."},{"key":"3_CR11","doi-asserted-by":"crossref","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. J. Symb. Comput. 2: 399\u2013408 (1986).","journal-title":"J. Symb. Comput."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Kapur, D., Saxena, T., Yang, L.: Algebraic and geometric reasoning using Dixon resultants. In: Proc. ISSAC '94 (Oxford, July 20\u201322, 1994), pp. 99\u2013107.","DOI":"10.1145\/190347.190372"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B. Kutzler","year":"1986","unstructured":"Kutzler, B., Stifter, S.: On the application of Buchberger's algorithm to automated geometry theorem proving. J. Symb. Comput. 2: 389\u2013397 (1986).","journal-title":"J. Symb. Comput."},{"key":"3_CR14","volume-title":"Ph.D thesis","author":"H. Li","year":"1994","unstructured":"Li, H.: New explorations on mechanical theorem proving of geometries. Ph.D thesis, Beijing University, China (1994)."},{"key":"3_CR15","first-page":"357","volume":"26","author":"H. Li","year":"1997","unstructured":"Li, H., Cheng, M.-t.: Proving theorems in elementary geometry with Clifford algebraic method. Chinese Math. Progress 26: 357\u2013371 (1997).","journal-title":"Chinese Math. Progress"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/jsco.1996.0011","volume":"3","author":"C. March\u00e9","year":"1996","unstructured":"March\u00e9, C.: Normalized rewriting: An alternative to rewriting modulo a set of equations. J. Symb. Comput. 3: 253\u2013288 (1996).","journal-title":"J. Symb. Comput."},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF01531327","volume":"13","author":"J. Richter-Gebert","year":"1995","unstructured":"Richter-Gebert, J.: Mechanical theorem proving in projective geometry. Ann. Math. Artif. Intell. 13: 139\u2013172 (1995).","journal-title":"Ann. Math. Artif. Intell."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Stifter, S.: Geometry theorem proving in vector spaces by means of Gr\u00f6bner bases. In: Proc. ISSAC '93 (Kiev, July 6\u20138, 1993), pp. 301\u2013310.","DOI":"10.1145\/164081.164144"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D. Wang","year":"1995","unstructured":"Wang, D.: Elimination procedures for mechanical theorem proving in geometry. Ann. Math. Artif. Intell. 13: 1\u201324 (1995).","journal-title":"Ann. Math. Artif. Intell."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Wang, D.: Clifford algebraic calculus for geometric reasoning with application to computer vision. In: Automated deduction in geometry (D. Wang et al., eds.), LNAI 1360, pp. 115\u2013140 (1998).","DOI":"10.1007\/BFb0022723"},{"key":"3_CR21","first-page":"207","volume":"4","author":"W. Wu","year":"1984","unstructured":"Wu, W.-t.: Basic principles of mechanical theorem proving in elementary geometries. J. Syst. Sci. Math. Sci. 4: 207\u2013235 (1984).","journal-title":"J. Syst. Sci. Math. Sci."},{"key":"3_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical theorem proving in geometries: Basic principles","author":"W. Wu","year":"1994","unstructured":"Wu, W.-t.: Mechanical theorem proving in geometries: Basic principles. Springer, Wien (1994)."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-15"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T12:31:49Z","timestamp":1676637109000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0054242"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646754","9783540691105"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0054242","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"25 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}