Dupas Jean-Jacques.
« Lean : une nouvelle bibliothèque d'Alexandrie »
in Tangente (Paris), 197 (12/2020).
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 |