The Blueprint For Formalizing Geometric Algebra in Lean
Introduction
1
Preliminaries
▶
1.1
Basics: from groups to modules
1.2
Algebras
1.3
Forms
2
Clifford Algebra
▶
2.1
Definition
2.2
Operations
2.3
Structure
2.4
Classification
2.5
Representation
2.6
Spin
3
Geometric Algebra
▶
3.1
Axioms
3.2
Contents
3.3
Operations and properties
4
Concrete algebras - definition
▼
4.1
CGA
4.2
PGA
4.3
STA
5
Applications
▶
5.1
Geometry
6
Bibliography
Section 1 graph
Section 2 graph
Section 3 graph
Section 4 graph
Section 5 graph
4.2 PGA