Zusammenfassung

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

Beschreibung

Implementing Geometric Algebra Products with Binary Trees - Springer

Links und Ressourcen

Tags