|
Titre :
|
Lean : une nouvelle bibliothèque d'Alexandrie (2020)
|
|
Auteurs :
|
Jean-Jacques Dupas, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Tangente (Paris) (197, 12/2020)
|
|
Article en page(s) :
|
p.17
|
|
Note générale :
|
Bibliographie, webographie.
|
|
Langues:
|
Français
|
|
Catégories :
|
Logiciel
|
|
Tags :
|
problème mathématique
|
|
Résumé :
|
Présentation du logiciel Lean permettant la vérification de preuves mathématiques : ses modalités d'utilisation, le travail de numérisation sur Lean et la perception de ce dernier par les mathématiciens, l'idée d'un couplage de Lean avec une intelligence artificielle.
|
|
Nature du document :
|
Documentaire
|
|
Genre :
|
Article de périodique
|
Accueil
