Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des mac[...]
