PDF e-Pub

## Section: New Results

### Formalizing Exterior Algebras

Participants : Maxime Bombar, Cyril Cohen.

We formalized exterior algebras as vector spaces with dimension ${2}^{n}$. This provides an alternative representation to that constructed earlier by Laurent Théry and Laurent Fuchs. The new representation is closer to the objects found in the mathematical components library.