Vers un assistant à la preuve en langue naturelle

TEL :: [tel-00414773, version 1]
http://tel.archives-ouvertes.fr/tel-00414773/en/
Cette Thèse est la conclusion de trois ans de travail sur un projet nommé DemoNat. Le but de ce projet est la conception d'un système d'analyse et de vérification de démonstrations mathématiques écrites en langue naturelle.
...