Sur la correction automatique des exercices de mathématiques
13 janv. 2014 ... http://www.logique.jussieu.fr/~alp/conf-MOOC-INRIA.pdf ... 2 Que veut dire «
corriger » un exercice ? 2 .... sur le plan formel (par exemple, qui ne seraient pas
acceptables dans un livre .... combinatoire dans la plupart des cas.
Un extrait du document