Implementing geometric algebra products with binary trees

DOI10.1007/S00006-014-0447-3MaRDI QIDQ742367zbMATH OpenOpenAlexFDO

Authors Laurent Fuchs, Laurent Théry

Publication date 18 September 2014

Published in Advances in Applied Clifford Algebras (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00006-014-0447-3

zbMATH Keywords

geometric algebrabinary treeCoqformal proofGrassmann-Cayley algebra

Mathematics Subject Classification ID

Quadratic spaces; Clifford algebras (11E88) Clifford algebras, spinors (15A66)

Recommendations

• A geometric algebra implementation using binary tree
• The geometry of binary search trees
• The algebra of binary search trees
• The large scale geometry of products of trees
• Implementation of geometric algebra in computer algebra systems
• The geodetic numbers of Cartesian products of trees
• The geometry and dynamics of binary trees
• On some properties of the algebra of binary trees
• Computational aspects of geometric algebra products of two homogeneous multivectors
• scientific article; zbMATH DE number 647421

Cites work

• scientific article; zbMATH DE number 3957336 (Why is no real title available?)
• scientific article; zbMATH DE number 1182942 (Why is no real title available?)
• scientific article; zbMATH DE number 1033404 (Why is no real title available?)
• scientific article; zbMATH DE number 1985197 (Why is no real title available?)
• scientific article; zbMATH DE number 899658 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• scientific article; zbMATH DE number 6296049 (Why is no real title available?)
• scientific article; zbMATH DE number 4189687 (Why is no real title available?)
• A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
• Boosted surfaces: synthesis of meshes using point pair generators as curvature operators in the 3D conformal model
• Certified Computer Algebra on Top of an Interactive Theorem Prover
• Efficient algorithms for factorization and join of blades
• Factorization of Lipschitzian elements
• Formal proof - the four color theorem
• Foundations of geometric algebra computing.
• Interactive 3D space group visualization with CLUCalc and the Clifford geometric algebra description of space groups.
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Isabelle. A generic theorem prover
• Multivector differential calculus
• Solving some quadratic Diophantine equations with Clifford algebra

Cited in

(10)

• Efficient algorithms for factorization and join of blades
• Garamon: a geometric algebra library generator
• Formalizing geometric algebra in Lean
• An extended implementation framework for geometric algebra operations on systems of coordinate frames of arbitrary signature
• A geometric algebra implementation using binary tree
• Formalization of geometric algebra in HOL Light
• Formalizing basic quaternionic analysis
• A low-memory time-efficient implementation of outermorphisms for higher-dimensional geometric algebras
• Computational aspects of geometric algebra products of two homogeneous multivectors
• Computing with the universal properties of the Clifford algebra and the even subalgebra

Describes a project that uses

Uses Software

• GMac
• GAlgebra
• Clados
• Versor
• GABLE
• GAviewer
• WhyML
• HOL Light
• HOL
• GluCat
• Gaigen
• Mizar
• Why3
• ML
• SymPy
• Isabelle
• Gaalop
• Coq
• CLUCalc
• CLIFFORD

This page was built for publication: Implementing geometric algebra products with binary trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q742367)