Guillaume Cano: Interaction entre algèbre linéaire et analyse en formalisation des mathématiques. (Interaction between linear algebra and analysis in formal mathematics). University of Nice Sophia Antipolis, France 2014