[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 [texte imprimé] / Jean-Jacques Dupas, Auteur . - Archimède, 2020 . - p.17. 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 |
|
Lean : une nouvelle bibliothèque d'Alexandrie / Archimède (2020) in Tangente (Paris), 197 (12/2020)