TY  - THES
DP  - http://www.theses.fr/2014NICE4016
TI  - Interaction entre algèbre linéaire et analyse en formalisation des mathématiques
AU  - Cano, Guillaume
A3  - Bertot, Yves
PY  - 2014
N1  - Thèse de doctorat Informatique Nice 2014
N1  - 2014NICE4016
UR  - http://www.theses.fr/2014NICE4016/document
ER  -