Sur la correction automatique des exercices de mathématiques

Olympiades nationales de mathématiques 2020. Métropole-Europe-Afrique-?Orient-Inde. Exercice national 1 (à traiter par tous les candidats). Batailles navales.