Pages that link to "Item:Q742367"
From MaRDI portal
The following pages link to Implementing geometric algebra products with binary trees (Q742367):
Displaying 8 items.
- An extended implementation framework for geometric algebra operations on systems of coordinate frames of arbitrary signature (Q1644457) (← links)
- Formalizing basic quaternionic analysis (Q1687738) (← links)
- A geometric algebra implementation using binary tree (Q1695130) (← links)
- Formalizing geometric algebra in Lean (Q2128117) (← links)
- Garamon: a geometric algebra library generator (Q2274744) (← links)
- A low-memory time-efficient implementation of outermorphisms for higher-dimensional geometric algebras (Q2301518) (← links)
- Formalization of geometric algebra in HOL Light (Q2323452) (← links)
- Computational aspects of geometric algebra products of two homogeneous multivectors (Q2680610) (← links)
