@wolftype

Implementing Geometric Algebra Products with Binary Trees

, and . Advances in Applied Clifford Algebras, 24 (2): 589-611 (2014)
DOI: 10.1007/s00006-014-0447-3

Abstract

This paper presents a formalization of geometric algebras within the proof assistant C

Description

Implementing Geometric Algebra Products with Binary Trees - Springer

Links and resources

Tags