| 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) |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Logiciel [UNESCO] 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. |
| Note de contenu | Bibliographie, webographie. |
| Genre : | / Article de périodique //article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 34097 | PER | Périodique | CDI | CDI- rdc | Disponible |