{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:37:28Z","timestamp":1754487448378},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642978"},{"type":"electronic","value":"9783540697176"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0022722","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T08:02:06Z","timestamp":1132387326000},"page":"102-114","source":"Crossref","is-referenced-by-count":2,"title":["Computational synthetic geometry with Clifford algebra"],"prefix":"10.1007","author":[{"given":"Timothy F.","family":"Havel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"volume-title":"Clifford Algebras with Numeric and Symbolic Computations","year":"1996","key":"5_CR1","unstructured":"R. Ablamowicz, P. Lounesto, and J. M. Parra, editors. Clifford Algebras with Numeric and Symbolic Computations. Birkh\u00e4user, Boston, MA, 1996."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF00770331","volume":"19","author":"E. Schrufer","year":"1987","unstructured":"E. Schrufer, F. W. Hehl, and J. D. McCrea. Exterior calculus on the computer: The REDUCE-package EXCALC applied to general relativity and to the Poincare gauge theory. General Relativity and Gravitation, 19:197\u2013218, 1987.","journal-title":"General Relativity and Gravitation"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0747-7171(86)80021-9","volume":"2","author":"B. W. Char","year":"1986","unstructured":"B. W. Char, G. J. Fee, K. O. Geddes, G. H. Gonnet, and M. B. Monagan.A tutorial introduction to maple. J. Symb. Comput., 2:179\u2013200, 1986.","journal-title":"J. Symb. Comput."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0166-1280(94)04084-6","volume":"336","author":"T. F. Havel","year":"1995","unstructured":"T. F. Havel and I. Najfeld. Applications of geometric algebra to the theory of molecular conformation. Part 2. The local deformation problem. J. Mol. Struct. (TheoChem), 336:175\u2013189, 1995.","journal-title":"J. Mol. Struct. (TheoChem)"},{"key":"5_CR5","first-page":"243","volume-title":"Applications of 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 Applications of Computer Algebra in Science and Engineering, pages 243\u2013259. World Scientific, Singapore, 1995."},{"key":"5_CR6","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0089253","volume-title":"Computational Synthetic Geometry","author":"J. Bokowski","year":"1989","unstructured":"J. Bokowski and B. Sturmfels. Computational Synthetic Geometry. Lect. Notes Math. 1355. Springer-Verlag, Berlin, F.R.G., 1989."},{"key":"5_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-4368-1","volume-title":"Algorithms in Invariant Theory","author":"B. Sturmfels","year":"1993","unstructured":"B. Sturmfels. Algorithms in Invariant Theory. Springer-Verlag, New York, NY, 1993."},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/0021-8693(85)90043-2","volume":"96","author":"M. Barnabei","year":"1985","unstructured":"M. Barnabei, A. Brini, and G.-C. Rota. On the exterior calculus of invariant theory. J. Algebra, 96:120\u2013160, 1985.","journal-title":"J. Algebra"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-94-015-8402-9_5","volume-title":"Invariant Methods in Discrete and Computational Geometry","author":"N. L. White","year":"1995","unstructured":"N. L. White. A tutorial on Grassmann-Cayley algebra. In N. L. White, editor, Invariant Methods in Discrete and Computational Geometry, pages 93\u2013106. Kluwer Academic, Amsterdam, Holland, 1995."},{"key":"5_CR10","volume-title":"The Classical Groups","author":"H. Weyl","year":"1939","unstructured":"H. Weyl. The Classical Groups. Princeton University Press, Princeton, NJ, 1939."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0001-8708(89)90059-5","volume":"73","author":"D. R. Richman","year":"1989","unstructured":"D. R. Richman. The fundamental theorems of vector invariants. Adv. Math., 73:43\u201378, 1989.","journal-title":"Adv. Math."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0001-8708(86)90104-0","volume":"62","author":"A. W. M. Dress","year":"1986","unstructured":"A. W. M. Dress and T. F. Havel. Some combinatorial properties of discriminants in metric vector spaces. Adv. Math., 62:285\u2013312, 1986.","journal-title":"Adv. Math."},{"key":"5_CR13","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 Pub. Co., Dordrecht, Holland, 1984."},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00046919","volume":"23","author":"D. Hestenes","year":"1991","unstructured":"D. Hestenes and R. Ziegler. Projective geometry with Clifford algebra. Acta Appl. Math., 23:25\u201363, 1991.","journal-title":"Acta Appl. Math."},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00046920","volume":"23","author":"D. Hestenes","year":"1991","unstructured":"D. Hestenes. The design of linear algebra and geometry. Acta Appl. Math., 23:65\u201393, 1991.","journal-title":"Acta Appl. Math."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"1357","DOI":"10.1007\/BF01883783","volume":"23","author":"A. W. M. Dress","year":"1993","unstructured":"A. W. M. Dress and T. F. Havel.Distance geometry and geometric algebra. Found. Phys., 23:1357\u20131374, 1993.","journal-title":"Found. Phys."},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/978-94-015-8402-9_11","volume-title":"Invariant Methods in Discrete and Computational Geometry","author":"T. F. Havel","year":"1995","unstructured":"T. F. Havel. Geometric algebra and M\u00f6bius sphere geometry as a basis for euclidean invariant theory. In Invariant Methods in Discrete and Computational Geometry, pages 245\u2013256. Kluwer Academic, Amsterdam, Holland, 1995."},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01531325","volume":"13","author":"J. P. Dalbec","year":"1995","unstructured":"J. P. Dalbec. Straightening Euclidean invariants. Ann. Math. Artif. Intel., 13:97\u2013108, 1995.","journal-title":"Ann. Math. Artif. Intel."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"J. Graver, B. Servatius, and H. Servatius. Combinatorial Rigidity, volume 2 of Graduate Studies in Mathematics. Amer. Math. Soc., Providence, RI, 1993.","DOI":"10.1090\/gsm\/002"},{"key":"5_CR20","volume-title":"Distance Geometry and Molecular Conformation","author":"G. M. Crippen","year":"1988","unstructured":"G. M. Crippen and T. F. Havel. Distance Geometry and Molecular Conformation. Research Studies Press, Taunton, England, 1988."},{"key":"5_CR21","unstructured":"A. W. M. Dress. Vorlesungen dber kombinatorische Geometrie. Univ. Bielefeld, Germany, 1982."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:39:19Z","timestamp":1586569159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022722"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540642978","9783540697176"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0022722","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}