Implementing Geometric Algebra Products with Binary Trees

Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

Pierre Castéran, Yves Bertot · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

Formal Proof—The Four- Color Theorem

Georges Gonthier · 2008 · 304 citations

Computing, Computer Science, Mathematics +12

Foundations of Geometric Algebra computing

Dietmar Hildenbrand · AIP conference proceedings · 2012 · 126 citations

Natural Sciences, Computer Science, Mathematics +11

Efficient Implementation of Geometric Algebra

D.H.F. Dijkman · UvA-DARE (University of Amsterdam) · 2007 · 40 citations · Full text

Natural Sciences, Computer Science, Mathematics +14

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras

Hongbo Li, Yihong Wu · Journal of Symbolic Computation · 2003 · 30 citations

Natural Sciences, Computer Science, Mathematics +16