Clifford Term Rewriting for Geometric Reasoning in 3D

Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang

Type: Book-Chapter

Publication Date: 1999-01-01

Citations: 3

DOI: https://doi.org/10.1007/3-540-47997-x_8

View Publication

Locations

Lecture notes in computer science - View

Similar Works

Action	Title	Year	Authors
+	Proving geometric theorems using clifford algebra and rewrite rules	1998	Stéphane Fèvre Dongming Wang
+	Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving	1999	Stéphane Fèvre Dongming Wang
+	Completeness of a rewrite system for proving geometric theorems using Clifford algebra	1998	Stéphane Fèvre
+	Clifford algebraic calculus for geometric reasoning	1998	Dongming Wang
+	Combining algebraic computing and term-rewriting for geometry theorem proving	1998	Stéphane Fèvre Dongming Wang
+	A Clifford Algebraic Method for Geometric Reasoning	1999	Haiquan Yang Shugong Zhang Guochen Feng
+	Automated Geometric Theorem Proving, Clifford Bracket Algebra and Clifford Expansions	2004	Hongbo Li
+	Clifford Algebra and Automated Geometric Theorem Proving	2001	Hongbo Li
+	Some Applications of Clifford Algebra to Geometries	1999	Hongbo Li
+	A brief introduction to Clifford algebra	2010	Giorgio Vassallo Silvia Franchini Filippo Sorbello
+	Clifford Algebra, Geometric Computing and Reasoning	2003	LI Hong-bo
+	Geometric Algebra for Computer Science, Leo Dorst, Daniel Fontijne, Stephen Mann. Morgan Kaufmann (2007), 626, $ 69.95, ISBN: 978-0-12-369465-2	2008	Ron Goldman
+	Object modelling and collision avoidance using Clifford algebra	1995	Eduardo Bayro‐Corrochano Gerald Sommer
+	A Low-Memory Time-Efficient Implementation of Outermorphisms for Higher-Dimensional Geometric Algebras	2019	Ahmad H. Eid
+	A Low-Memory Time-Efficient Implementation of Outermorphisms for Higher-Dimensional Geometric Algebras	2019	Ahmad H. Eid
+	A Tutorial on Geometric Algebra Using CLUCalc	2012	Dietmar Hildenbrand
+	Clifford Algebra as a Useful Language for Geometry and Physics	2000	Matej Pavšič
+	The geometry engine	1998	James H. Clark
+	Preface for Special Issue on Geometric Algebra in Computer Science and Engineering	2017	Dietmar Hildenbrand Eckhard Hitzer George Papagiannakis
+	Doing Geometric Research with Clifford Algebra	2000	Hongbo Li

Works That Cite This (1)

Action	Title	Year	Authors
+	A Clifford Algebraic Method for Geometric Reasoning	1999	Haiquan Yang Shugong Zhang Guochen Feng

Works Cited by This (5)

Action	Title	Year	Authors
+	Clifford Algebras with Numeric and Symbolic Computations	1996	Rafał Abłamowicz Pertti Lounesto Josep M. Parra
+	Combining algebraic computing and term-rewriting for geometry theorem proving	1998	Stéphane Fèvre Dongming Wang
+	Clifford algebraic calculus for geometric reasoning	1998	Dongming Wang
+	Geometry machines: From AI to SMC	1996	Dongming Wang
+	Proving geometric theorems using clifford algebra and rewrite rules	1998	Stéphane Fèvre Dongming Wang