| Titre : | Lean : une nouvelle bibliothèque d'Alexandrie (2020) |
| Auteurs : | Jean-Jacques Dupas, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Tangente (197, 12/2020) |
| Article : | p.17 |
| Note générale : | Bibliographie, webographie. |
| Langues: | Français |
| Descripteurs : | |
| 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 |
CDI Lycée Jeanne d'Arc
Bienvenue sur le portail PMB du CDI du lycée Jeanne d'Arc de Pontivy
Accueil
Se connecter
Adresse
CDI Lycée Jeanne d'Arc6, rue Théodore Botrel
Pontivy
France