Soutenance de thèse: Interaction entre algèbre linéaire et analyse en formalisation des mathématiques

Désolé, cet article est seulement disponible en Anglais Américain.