Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Archive ouverte univOAK : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03254579
Soumis le : mardi 8 juin 2021-23:06:23
Dernière modification le : samedi 27 avril 2024-03:14:29
Archivage à long terme le : jeudi 9 septembre 2021-20:38:15