[article]
| Titre : |
Lean : une nouvelle bibliothèque d'Alexandrie |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Jacques Dupas, Auteur |
| Editeur : |
Archimède, 2020 |
| Article : |
p.17 |
| Note générale : |
Bibliographie, webographie. |
| Langues : |
Français (fre) |
in Tangente (Paris) > 197 (12/2020)
| Descripteurs : |
logiciel / 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 //Article de périodique |
[article]
|
Lean : une nouvelle bibliothèque d'Alexandrie
de Jean-Jacques Dupas
In Tangente (Paris), 197 (12/2020), p.17
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.
|
| |
Lean : une nouvelle bibliothèque d'Alexandrie / Archimède (2020) in Tangente (Paris), 197 (12/2020)