{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T23:03:35Z","timestamp":1747955015457},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262961"},{"type":"electronic","value":"9783540321194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499251_18","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T06:45:11Z","timestamp":1279089911000},"page":"217-228","source":"Crossref","is-referenced-by-count":4,"title":["On Miquel\u2019s Five-Circle Theorem"],"prefix":"10.1007","author":[{"given":"Hongbo","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronghua","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proof in Geometry","author":"S. Chou","year":"1994","unstructured":"Chou, S., Gao, X., Zhang, J.: Machine Proof in Geometry. World Scientific, Singapore (1994)"},{"key":"18_CR2","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. Kluwer, Dordrecht (1984)"},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-662-04621-0_2","volume-title":"Geometric Computing with Clifford Algebras","author":"H. Li","year":"2001","unstructured":"Li, H., Hestenes, D., Rockwood, A.: Generalized Homogeneous Coordinates for Computational Geometry. In: Sommer, G. (ed.) Geometric Computing with Clifford Algebras, pp. 27\u201360. Springer, Heidelberg (2001)"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-1-4612-0089-5_5","volume-title":"Applications of Geometric Algebra in Computer Science and Engineering","author":"H. Li","year":"2002","unstructured":"Li, H.: Automated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra. In: Dorst, L., et al. (eds.) Applications of Geometric Algebra in Computer Science and Engineering, pp. 69\u201378. Birkhauser, Boston (2002)"},{"key":"18_CR5","first-page":"112","volume":"21","author":"H. Li","year":"2002","unstructured":"Li, H.: Clifford Expansions and Summations. MM Research Preprints\u00a021, 112\u2013154 (2002)","journal-title":"MM Research Preprints"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1142\/9789812794833_0009","volume-title":"Geometric Computation","author":"H. Li","year":"2004","unstructured":"Li, H.: Clifford Algebras and Geometric Computation. In: Chen, F., Wang, D. (eds.) Geometric Computation, pp. 221\u2013247. World Scientific, Singapore (2004)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Li, H.: Automated Geometric Theorem Proving, Clifford Bracket Algebra and Clifford Expansions. In: Trends in Mathematics: Advances in Analysis and Geometry. Birkhauser, Basel, pp. 345\u2013363 (2004)","DOI":"10.1007\/978-3-0348-7838-8_17"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-24616-9_7","volume-title":"Automated Deduction in Geometry","author":"H. Li","year":"2004","unstructured":"Li, H.: Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. In: Winkler, F. (ed.) Automated Deduction in Geometry, pp. 106\u2013123. Springer, Heidelberg (2004)"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/1005285.1005318","volume-title":"Proc. ISSAC 2004","author":"H. Li","year":"2004","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, New York (2004)"},{"issue":"5","key":"18_CR10","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1016\/S0747-7171(03)00067-1","volume":"36","author":"H. Li","year":"2003","unstructured":"Li, H., Wu, Y.: Automated Short Proof Generation in Projective Geometry with Cayley and Bracket Algebras I. Incidence Geometry. J. Symb. Comput.\u00a036(5), 717\u2013762 (2003)","journal-title":"Incidence Geometry. J. Symb. Comput."},{"issue":"5","key":"18_CR11","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1016\/S0747-7171(03)00066-X","volume":"36","author":"H. Li","year":"2003","unstructured":"Li, H., Wu, Y.: Automated Short Proof Generation in Projective Geometry with Cayley and Bracket Algebras II. Conic Geometry J. Symb. Comput.\u00a036(5), 763\u2013809 (2003)","journal-title":"Conic Geometry J. Symb. Comput."},{"key":"18_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-4368-1","volume-title":"Algorithms in Invariant Theory","author":"B. Sturmfels","year":"1993","unstructured":"Sturmfels, B.: Algorithms in Invariant Theory. Springer, Wien (1993)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra and Geometric Algebra with Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499251_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T10:47:48Z","timestamp":1635677268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499251_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262961","9783540321194"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11499251_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}