Implementing geometric algebra products with binary trees
type: Item
instance of: scholarly article
title: Implementing geometric algebra products with binary trees
zbMATH Open document ID: 1311.68147
author: Laurent Fuchs
author: Laurent Théry
published in: Advances in Applied Clifford Algebras
publication date: 2014-09-18T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 11E88
Mathematics Subject Classification ID: 15A66
zbMATH DE Number: 6345714
zbMATH Keywords: geometric algebra
zbMATH Keywords: Grassmann-Cayley algebra
zbMATH Keywords: formal proof
zbMATH Keywords: binary tree
zbMATH Keywords: Coq
describes a project that uses: CLIFFORD
describes a project that uses: Gaalop
describes a project that uses: Isabelle
describes a project that uses: ML
describes a project that uses: Mizar
describes a project that uses: Gaigen
describes a project that uses: GluCat
describes a project that uses: HOL
describes a project that uses: GABLE
describes a project that uses: Versor
describes a project that uses: Clados
describes a project that uses: GAlgebra
describes a project that uses: CLUCalc
describes a project that uses: Coq
describes a project that uses: GAviewer
describes a project that uses: GMac
describes a project that uses: Why3
describes a project that uses: SymPy
describes a project that uses: HOL Light
describes a project that uses: WhyML
MaRDI profile type: Publication
full work available at URL: s00006-014-0447-3
OpenAlex ID: W2008609482
cites work: Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
cites work: Q4884304
cites work: Solving some quadratic Diophantine equations with Clifford algebra
cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
cites work: Q5417200
cites work: Boosted surfaces: synthesis of meshes using point pair generators as curvature operators in the 3D conformal model
cites work: Q5753923
cites work: Q4429030
cites work: Efficient Algorithms for Factorization and Join of Blades
cites work: A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
cites work: Q5302559
cites work: Q5287513
cites work: Q3726284
cites work: Factorization of Lipschitzian elements
cites work: Foundations of geometric algebra computing.
cites work: Multivector differential calculus
cites work: Certified Computer Algebra on Top of an Interactive Theorem Prover
cites work: Q4344119
cites work: Isabelle. A generic theorem prover
cites work: Interactive 3D space group visualization with CLUCalc and the Clifford geometric algebra description of space groups.
cites work: Q3837774
DOI: 10.1007/S00006-014-0447-3
Recommended article: A geometric algebra implementation using binary tree
Recommended article: Q4633860
Recommended article: The algebra of binary search trees
Recommended article: The large scale geometry of products of trees
Recommended article: Implementation of geometric algebra in computer algebra systems
Recommended article: Q5318548
Recommended article: The geometry and dynamics of binary trees
Recommended article: On some properties of the algebra of binary trees
Recommended article: Computational aspects of geometric algebra products of two homogeneous multivectors
Recommended article: Q4308241
description: scientific article; zbMATH DE number 6345714