Implementing geometric algebra products with binary trees
From MaRDI portal
Publication:742367
DOI10.1007/S00006-014-0447-3zbMATH Open1311.68147OpenAlexW2008609482MaRDI QIDQ742367FDOQ742367
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Isabelle. A generic theorem prover
- Title not available (Why is that?)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Formal proof - the four color theorem
- Foundations of geometric algebra computing.
- Multivector differential calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interactive 3D space group visualization with CLUCalc and the Clifford geometric algebra description of space groups.
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
- Title not available (Why is that?)
- Solving some quadratic Diophantine equations with Clifford algebra
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Factorization of Lipschitzian elements
- Efficient algorithms for factorization and join of blades
- A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boosted surfaces: synthesis of meshes using point pair generators as curvature operators in the 3D conformal model
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
Uses Software
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)
