Section: New Results
Formalizing Exterior Algebras
Participants : Maxime Bombar, Cyril Cohen.
We formalized exterior algebras as vector spaces with dimension . 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.