{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:41Z","timestamp":1725494201522},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425984"},{"type":"electronic","value":"9783540454106"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45410-1_9","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T12:16:33Z","timestamp":1194264993000},"page":"143-153","source":"Crossref","is-referenced-by-count":0,"title":["A Complex Change of Variables for Geometrical Reasoning"],"prefix":"10.1007","author":[{"given":"Tim","family":"Stokes","sequence":"first","affiliation":[]},{"given":"Michael","family":"Bulmer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"unstructured":"Buchberger, B., Gr\u00f6bner Bases: An Algorithmic Method in Polynomial Ideal Theory, Multidimensional Systems Theory (ed. N. K. Bose), D. Reidel, 184\u2013232 (1985).","key":"9_CR1"},{"doi-asserted-by":"crossref","unstructured":"Chou, S.-C., Mechanical Geometry Theorem Proving, D. Reidel (1988).","key":"9_CR2","DOI":"10.1007\/978-94-009-4037-6"},{"doi-asserted-by":"crossref","unstructured":"Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Geometry Theorem Proving Using Vector Calculation, Proc. ISSAC\u2019 93, Kiev, 284\u2013291 (1993).","key":"9_CR3","DOI":"10.1145\/164081.164142"},{"doi-asserted-by":"crossref","unstructured":"Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Production of Traditional Proofs for Constructive Geometry Theorems, Proc. 8th IEEE Symbolic Logic in Computer Science, Montreal, 48\u201356 (1993).","key":"9_CR4","DOI":"10.1109\/LICS.1993.287601"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF00881858","volume":"14","author":"S.-C. Chou","year":"1995","unstructured":"Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Production of Traditional Proofs in Solid Geometry, J. Automated Reasoning 14, 257\u2013291 (1995).","journal-title":"J. Automated Reasoning"},{"doi-asserted-by":"crossref","unstructured":"Cox, D., Little, J. and O\u2019Shea, D., Ideals, Varieties and Algorithms-An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduate Texts in Mathematics, Springer-Verlag (1992).","key":"9_CR6","DOI":"10.1007\/978-1-4757-2181-2_8"},{"doi-asserted-by":"crossref","unstructured":"Fearnley-Sander, D., Plane Euclidean Reasoning, Automated Deduction in Geometry (eds. X.-S. Gao, D. Wang, L. Yang), Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, 86\u2013110 (1999).","key":"9_CR7","DOI":"10.1007\/3-540-47997-X_6"},{"doi-asserted-by":"crossref","unstructured":"Fearnley-Sander, D. and Stokes, T., Area in Grassmann Geometry, Automated Deduction in Geometry (ed. D. Wang), Lecture Notes in Artificial Intelligence, Springer-Verlag, 141\u2013170 (1997).","key":"9_CR8","DOI":"10.1007\/BFb0022724"},{"doi-asserted-by":"crossref","unstructured":"Kapur, D., Geometry Theorem Proving Using Hilbert\u2019s Nullstellensatz, Proc. SYMSAC\u2019 86, Waterloo, 202\u2013208 (1986).","key":"9_CR9","DOI":"10.1145\/32439.32479"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(88)90050-1","volume":"37","author":"D. A. Kapur","year":"1988","unstructured":"Kapur, D., A Refutational Approach to Theorem Proving in Geometry, Artificial Intelligence 37, 61\u201393 (1988).","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Li, H., Some Applications of Clifford Algebras to Geometries, Automated Deduction in Geometry (eds. X.-S. Gao, D. Wang, L. Yang), Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, 156\u2013179 (1999).","key":"9_CR11","DOI":"10.1007\/3-540-47997-X_9"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/S0747-7171(08)80114-9","volume":"11","author":"B. Sturmfels","year":"1991","unstructured":"Sturmfels, B. and Whiteley, W., On the Synthetic Factorization of Projectively Invariant Polynomials, J. Symbolic Computation 11, 439\u2013453 (1991).","journal-title":"J. Symbolic Computation"},{"doi-asserted-by":"crossref","unstructured":"Wang, D., Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision, Automated Deduction in Geometry (ed. D. Wang), Lecture Notes in Artificial Intelligence 1360, Springer-Verlag, 115\u2013140 (1997).","key":"9_CR13","DOI":"10.1007\/BFb0022723"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/S0747-7171(08)80113-7","volume":"11","author":"N. L. White","year":"1991","unstructured":"White, N. L., Multilinear Cayley Factorization, J. Symbolic Computation 11, 421\u2013438 (1991).","journal-title":"J. Symbolic Computation"},{"key":"9_CR15","first-page":"157","volume":"21","author":"W.-t. Wu","year":"1978","unstructured":"Wu, W.-t., On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry, Scientia Sinica 21, 157\u2013179 (1978).","journal-title":"Scientia Sinica"},{"doi-asserted-by":"crossref","unstructured":"Wu, W.-t., Mechanical Theorem Proving in Geometries: Basic Principles, Springer-Verlag (1994).","key":"9_CR16","DOI":"10.1007\/978-3-7091-6639-0"},{"doi-asserted-by":"crossref","unstructured":"Yang H., Zhang, S. and Feng, G., A Clifford Algebraic Method for Geometric Reasoning, Automated Deduction in Geometry (eds. X.-S. Gao, D. Wang, L. Yang), Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, 111\u2013129 (1999).","key":"9_CR17","DOI":"10.1007\/3-540-47997-X_7"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45410-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T19:33:13Z","timestamp":1630006393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45410-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425984","9783540454106"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45410-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}