{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:28:40Z","timestamp":1754483320963},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425984"},{"type":"electronic","value":"9783540454106"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45410-1_14","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T07:16:33Z","timestamp":1194246993000},"page":"228-245","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Qubit Logic, Algebra and Geometry"],"prefix":"10.1007","author":[{"given":"Timothy F.","family":"Havel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","DOI":"10.4159\/9780674020146","volume-title":"Quantum Mechanics and Experience","author":"D. Z. Albert","year":"1992","unstructured":"D. Z. Albert. Quantum Mechanics and Experience. Harvard Univ. Press (Cambridge, MA), 1992."},{"key":"14_CR2","volume-title":"Quantum Theory: Concepts and Methods","author":"A. Peres","year":"1993","unstructured":"A. Peres. Quantum Theory: Concepts and Methods. Kluwer Academic (Amsterdam, NL), 1993."},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"2445","DOI":"10.1098\/rspa.1998.0266","volume":"454","author":"D. C. Brody","year":"1998","unstructured":"D. C. Brody and L. P. Hughston. Statistical geometry in quantum mechanics. Proc. R. Soc. Lond. A, 454:2445\u20132475, 1998.","journal-title":"Proc. R. Soc. Lond. A"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"2586","DOI":"10.1063\/1.533260","volume":"41","author":"D. C. Brody","year":"2000","unstructured":"D. C. Brody and L. P. Hughston. Information content for quantum states. J. Math. Phys., 41:2586\u20132592, 2000.","journal-title":"J. Math. Phys."},{"volume-title":"Clifford Algebras with Numeric and Symbolic Computations","year":"1996","key":"14_CR5","unstructured":"R. Ablamowicz, P. Lounesto, and J. M. Parra, eds. Clifford Algebras with Numeric and Symbolic Computations. Birkh\u00e4user (Boston, MA), 1996."},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/66062.66064","volume":"23","author":"T. F. Havel","year":"1989","unstructured":"T. F. Havel, B. Sturmfels, and N. White. Proposal for a geometric algebra software package. SIGSAM, 23(1):13\u201315, Jan. 1989.","journal-title":"SIGSAM"},{"key":"14_CR7","first-page":"243","volume-title":"Computer Algebra in Science and Engineering","author":"T. F. Havel","year":"1995","unstructured":"T. F. Havel and I. Najfeld. A new system of equations, based on geometric algebra, for ring closure in cyclic molecules. In J. Fleischer, J. Grabmeier, F. W. Hehl, and W. K\u00fcchlin, eds., Computer Algebra in Science and Engineering, pp. 243\u2013259. World Scientific (Singapore; River Edge, NJ; London, UK; Hong Kong), 1995."},{"key":"14_CR8","series-title":"Lect. Notes in Artif. Intel.","doi-asserted-by":"publisher","first-page":"02","DOI":"10.1007\/BFb0022722","volume-title":"Automated Deduction in Geometry (ADG\u201996)","author":"T. F. Havel","year":"1997","unstructured":"T. F. Havel. Computational synthetic geometry with Clifford algebra. In D. Wang, ed., Automated Deduction in Geometry (ADG\u201996), vol. 1360 of Lect. Notes in Artif. Intel., pp. 102\u2013114. Springer-Verlag (Berlin & Heidelberg, D), 1997."},{"key":"14_CR9","series-title":"Lect. Notes in Artif. Intel.","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0022723","volume-title":"Automated Deduction in Geometry (ADG\u201996)","author":"D. Wang","year":"1997","unstructured":"D. Wang. Clifford algebraic calculus for geometric reasoning. In D. Wang, ed., Automated Deduction in Geometry (ADG\u201996), vol. 1360 of Lect. Notes in Artif. Intel., pp. 115\u2013140. Springer-Verlag (Berlin & Heidelberg, D), 1997."},{"key":"14_CR10","series-title":"Lect. Notes Artif. Intel.","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-47997-X_8","volume-title":"Automated Deduction in Geometry (ADG\u201998)","author":"T. B. Tour de la","year":"1999","unstructured":"T. Boy de la Tour, S. F\u00e8vre, and D. Wang. Clifford term rewriting for geometric reasoning in 3D. In X.-S. Gao, D. Wang, and L. Yang, eds., Automated Deduction in Geometry (ADG\u201998), vol. 1669 of Lect. Notes Artif. Intel., pp. 130\u2013155. Springer-Verlag (Berlin & Heidelberg, D), 1999."},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1005884731270","volume":"48","author":"H. Li","year":"1997","unstructured":"H. Li. Hyperbolic geometry with Clifford algebra. Acta Appl. Math., 48:317\u2013358, 1997.","journal-title":"Acta Appl. Math."},{"key":"14_CR12","series-title":"Lect. Notes in Artif. Intel.","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-47997-X_9","volume-title":"Automated Deduction in Geometry (ADG\u201998)","author":"H. Li","year":"1999","unstructured":"H. Li. Some applications of Clifford algebra to geometries. In X.-S. Gao, D. Wang, and L. Yang, eds., Automated Deduction in Geometry (ADG\u201998), vol. 1669 of Lect. Notes in Artif. Intel., pp. 156\u2013179. Springer-Verlag (Berlin & Heidelberg, D), 1999."},{"key":"14_CR13","series-title":"Prog. Math. Phys.","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-1-4612-1368-0_11","volume-title":"Clifford Algebras and their Applications to Mathematical Physics","author":"H. Li","year":"2000","unstructured":"H. Li. Doing geometric research with Clifford algebra. In R. Ablamowicz and B. Fauser, eds., Clifford Algebras and their Applications to Mathematical Physics, vol. 18 of Prog. Math. Phys., pp. 195\u2013218. Birkh\u00e4user (Boston, MA), 2000."},{"key":"14_CR14","volume-title":"Ultimate Zero and One","author":"C. P. Williams","year":"1999","unstructured":"C. P. Williams and S. H. Clearwater. Ultimate Zero and One. Springer-Verlag (New York, NY), 1999."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"T. F. Havel, S. S. Somaroo, C.-H. Tseng, and D. G. Cory. Principles and demonstrations of quantum information processing by NMR spectroscopy. Appl. Algebra Eng. Commun. Comput., 10:339\u2013374, 2000. In T. Beth and M. Grassl, eds., Special Issue: Quantum Computing (see also LANL preprint quant-ph\/9812086).","DOI":"10.1007\/s002000050135"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1038\/35005001","volume":"404","author":"C. H. Bennett","year":"2000","unstructured":"C. H. Bennett and D. P. DiVincenzo. Quantum information and computation. Nature, 404:247\u2013255, 2000.","journal-title":"Nature"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/BF02084158","volume":"21","author":"C. H. Bennett","year":"1982","unstructured":"C. H. Bennett. The thermodynamics of computation: A review. Intnl. J. Theor. Phys., 21:905\u2013940, 1982.","journal-title":"Intnl. J. Theor. Phys."},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A. Barenco","year":"1995","unstructured":"A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter. Elementary gates for quantum computation. Phys. Rev. A, 52:3457\u20133467, 1995.","journal-title":"Phys. Rev. A"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"P. W. Shor","year":"1997","unstructured":"P. W. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput., 26:1484\u20131509, 1997.","journal-title":"SIAM J. Comput."},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"1510","DOI":"10.1137\/S0097539796300933","volume":"26","author":"C. H. Bennett","year":"1997","unstructured":"C. H. Bennett, E. Bernstein, G. Brassard, and U. Vazirani. Strengths and weaknesses of quantum computing. SIAM J. Comput., 26:1510\u20131523, 1997.","journal-title":"SIAM J. Comput."},{"key":"14_CR21","volume-title":"Visual Complex Analysis","author":"T. Needham","year":"2000","unstructured":"T. Needham. Visual Complex Analysis. Clarendon Press (Oxford, UK), 2000."},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"T. F. Havel and C. J. L. Doran. Geometric algebra in quantum information processing. Contemporary Math. Series, Am. Math. Soc. (Providence, RI), in press, 2001 (see LANL preprint quant-ph\/0004031).","DOI":"10.1090\/conm\/305\/05217"},{"key":"14_CR23","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":"D. Hestenes and G. Sobczyk. Clifford Algebra to Geometric Calculus. D. Reidel (Dordrecht, NL), 1984."},{"key":"14_CR24","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1007\/BF01883678","volume":"23","author":"C. J. L. Doran","year":"1993","unstructured":"C. J. L. Doran, A. N. Lasenby, and S. F. Gull. States and operators in the spacetime algebra. Found. Phys., 23:1239\u20131264, 1993.","journal-title":"Found. Phys."},{"key":"14_CR25","series-title":"London Math. Soc. Lect. Notes","volume-title":"Clifford Algebras and Spinors","author":"P. Lounesto","year":"1997","unstructured":"P. Lounesto. Clifford Algebras and Spinors. London Math. Soc. Lect. Notes 239. Cambridge Univ. Press (Cambridge, UK), 1997."},{"key":"14_CR26","volume-title":"New Foundations for Classical Mechanics","author":"D. Hestenes","year":"1999","unstructured":"D. Hestenes. New Foundations for Classical Mechanics (2nd ed.). Kluwer Academic (Amsterdam, NL), 1999.","edition":"2nd"},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0375-9601(98)00010-3","volume":"240","author":"S. S. Somaroo","year":"1998","unstructured":"S. S. Somaroo, D. G. Cory, and T. F. Havel. Expressing the operations of quantum computing in multiparticle geometric algebra. Phys. Lett. A, 240:1\u20137, 1998.","journal-title":"Phys. Lett. A"},{"key":"14_CR28","doi-asserted-by":"publisher","first-page":"1833","DOI":"10.1103\/PhysRevA.58.1833","volume":"58","author":"M. Grassl","year":"1998","unstructured":"M. Grassl, M. R\u00f6tteler, and T. Beth. Computing local invariants of qubit systems. Phys. Rev. A, 58:1833\u20131839, 1998.","journal-title":"Phys. Rev. A"},{"key":"14_CR29","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1063\/1.881360","volume":"46","author":"D. M. Greenberger","year":"1993","unstructured":"D. M. Greenberger, M. A. Horne, and A. Zeilinger. Multiparticle interferometry and the superposition principle. Physics Today, 46:22\u201329, Aug. 1993.","journal-title":"Physics Today"},{"key":"14_CR30","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1119\/1.17733","volume":"62","author":"N. D. Mermin","year":"1994","unstructured":"N. D. Mermin. Quantum mysteries refined. Am. J. Phys., 62:880\u2013887, 1994.","journal-title":"Am. J. Phys."},{"key":"14_CR31","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1038\/35000514","volume":"403","author":"J.-W. Pan","year":"2000","unstructured":"J.-W. Pan, D. Bouwmeester, M. Daniell, H. Weinfurter, and A. Zeilinger. Experimental test of quantum nonlocality in three-photon Greenberger-Horne-Zeilinger entanglement. Nature, 403:515\u2013519, 2000.","journal-title":"Nature"},{"key":"14_CR32","doi-asserted-by":"publisher","first-page":"002106","DOI":"10.1103\/PhysRevA.61.022106","volume":"61","author":"R. J. Nelson","year":"2000","unstructured":"R. J. Nelson, D. G. Cory, and S. Lloyd. Experimental demonstration of Greenberger-Horne-Zeilinger correlations using nuclear magnetic resonance. Phys. Rev. A, 61:002106, 2000.","journal-title":"Phys. Rev. A"},{"key":"14_CR33","doi-asserted-by":"publisher","first-page":"2724","DOI":"10.1109\/18.720553","volume":"44","author":"C. H. Bennett","year":"1998","unstructured":"C. H. Bennett and P. W. Shor. Quantum information theory. IEEE Trans. Info. Th., 44:2724\u20132742, 1998.","journal-title":"IEEE Trans. Info. Th."},{"key":"14_CR34","unstructured":"S. L. Lomonaco, Jr. An entangled tale of quantum entanglement. Contemporary Math. Series, Am. Math. Soc. (Providence, RI), in press, 2001 (see LANL preprint quant-ph\/0101120)."},{"key":"14_CR35","first-page":"875","volume":"48","author":"D. G. Cory","year":"2000","unstructured":"D. G. Cory, R. Laflamme, E. Knill, L. Viola, T. F. Havel, N. Boulant, G. Boutis, E. Fortunato, S. Lloyd, R. Martinez, C. Negrevergne, M. Pravia, Y. Sharf, G. Teklemarian, Y. S. Weinstein, and Z. H. Zurek. NMR based quantum information processing. Prog. Phys., 48:875\u2013907, 2000.","journal-title":"Prog. Phys."},{"key":"14_CR36","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"R. P. Feynman","year":"1982","unstructured":"R. P. Feynman. Simulating physics with computers. Int. J. Theor. Phys., 21:467\u2013488, 1982.","journal-title":"Int. J. Theor. Phys."},{"key":"14_CR37","doi-asserted-by":"publisher","first-page":"1073","DOI":"10.1126\/science.273.5278.1073","volume":"273","author":"S. Lloyd","year":"1996","unstructured":"S. Lloyd. Universal quantum simulator. Science, 273:1073\u20131078, 1996.","journal-title":"Science"},{"key":"14_CR38","doi-asserted-by":"publisher","first-page":"5381","DOI":"10.1103\/PhysRevLett.82.5381","volume":"82","author":"S. S. Somaroo","year":"1999","unstructured":"S. S. Somaroo, C.-H. Tseng, T. F. Havel, R. Laflamme, and D. G. Cory. Quantum simulations on a quantum computer. Phys. Rev. Lett., 82:5381\u20135384, 1999.","journal-title":"Phys. Rev. Lett."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45410-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T12:24:43Z","timestamp":1684067083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45410-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425984","9783540454106"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-45410-1_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"11 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}