GAlgebra
From MaRDI portal
Software:24447
No author found.
Source code repository: https://github.com/pygae/galgebra
Related Items (3)
Formalizing geometric algebra in Lean ⋮ An extended implementation framework for geometric algebra operations on systems of coordinate frames of arbitrary signature ⋮ Implementing geometric algebra products with binary trees
This page was built for software: GAlgebra
