Humayoun Muhammad. Développement du système MathNat pour la formalisation automatique des textes mathématiques. Mathématiques générales [math.GM]. Université de Grenoble, 2012. Français. NNT : 2012GRENM001. tel-00680095
MathNat - Mathematical Text in a Controlled Natural Language Muhammad Humayoun and Christophe Raffalli Laboratory of Mathematics (LAMA) Université de Savoie, France mhuma, raffalli@univ-savoie.fr