Ce projet propose un cadre de calcul extérieur discret pour analyser des formes différentielles à valeurs dans des fibrés. Il permet de valider numériquement des résultats obtenus via des algorithmes dédiés, en vérifiant des propriétés comme l'identité de Bianchi ou le transport parallèle. Les outils développés sont utiles pour des applications en géométrie, physique mathématique ou modélisation numérique.