Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Formalizing Exterior Algebras

Participants : Maxime Bombar, Cyril Cohen.

We formalized exterior algebras as vector spaces with dimension 2n. 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.