11 septembre 2017
4 messages - Retourner à l'article-
-
Quand aura-t-on des textes cohérents ?
le 5 octobre 2017 à 19:21, par Jérôme Germoni
-
Quand aura-t-on des textes cohérents ?
le 5 octobre 2017 à 19:38, par Jérôme Germoni
-
Quel liens y-a-t-il entre écriture automatisée et démonstrations automatisées ?
le 21 septembre 2017 à 18:32, par Carlo
Pour participer à la discussion merci de vous identifier :
Si vous n'avez pas d'identifiant, vous pouvez vous inscrire.
Actualités des maths
-
11 mai 2022Printemps des cimetières
-
3 mai 2022Comment les mathématiques se sont historiquement installées dans l’analyse économique (streaming, 5/5)
-
1er avril 2022Prix D’Alembert 2022 attribué à Jean-Michel Blanquer
-
10 mars 2022Géométries non euclidiennes mais dynamiques
-
6 mars 2022Contrôle et apprentissage automatique (streaming, 10/3)
-
24 février 2022Bienvenue au CryptoChallenge 2022 « Qui a volé les plans d’Ada Lovelace ? »