Lumière sur les Médailles Fields 2022 Découvrez les lauréats 2022 d'une récompense mathématique parmi les plus prestigieuses ! mathématiques médailles fields
Écrire des programmes prouvés corrects avec Coq Garantir mathématiquement le respect d'une spécification programmation coq méthodes formelles
S'habiller dans le bon ordre grâce aux mathématiques Relations d'ordre, graphes et tris topologiques mathématiques algorithmique
Un zeste de mathématiques assistées par ordinateur Quand la machine vient en support du mathématicien mathématiques coq méthodes formelles
On a retrouvé π au beau milieu du hasard ! Ou comment calculer π en lançant plein de dés mathématiques
Quelle est la probabilité de couper sur la fève ? Probabilité et galette des rois probabilités mathématiques cuisine
Conférences et séminaires scientifiques à Paris (et ailleurs) Quelques événements à suivre si vous aimez les sciences et que vous êtes sur Paris… ou non ! mathématiques physique conférences
Lumière sur les Médailles Fields 2018 Découvrez les lauréats 2018 d'une récompense mathématique parmi les plus prestigieuses ! mathématiques médailles fields
Naviguer (presque) sans GPS grâce à la navigation inertielle Principe de fonctionnement de la navigation inertielle mathématiques physique calcul numérique
Quand la calculatrice nous trompe Calcul numérique et perte de précision mathématiques algorithmique calcul numérique
Formalisme et réalisme Les maths sont une science formelle, c'est bien connu, mais où est donc le réel ? mathématiques
Contrôler la propagation des erreurs de calculs numériques La méthode CESTAC algorithmique calcul numérique
La définition en mathématiques Pourquoi définir ? Comment les communiquer et les enseigner ? mathématiques pédagogie
Nouveau roi des nombres mégapremiers Le record du nombre premier le plus long a été battu ! mathématiques
L'arbre de Stern-Brocot : énumération des rationnels Pour pallier les manques de la méthode historique de Cantor. mathématiques cds
Preuve de la sécurité du masque jetable de Vernam Que veut dire fiable et comment pouvons-nous dire que le masque jetable de Vernam l'est à 100% ? sécurité mathématiques algorithmique
C'est toute une histoire : la cryptographie - Partie 3/3 L'Époque contemporaine, l'entrée dans une nouvelle ère… mathématiques histoire algorithmique
C'est toute une histoire : la cryptographie - Partie 2/3 Dans cette deuxième partie dédiée à la cryptographie, nous partons à la découverte des méthodes utilisées pendant les Temps modernes mathématiques histoire algorithmique
C'est toute une histoire : la cryptographie - Partie 1/3 Partons à la découverte de l'évolution de la cryptographie ! Dans cet article, nous aborderons l'Antiquité et le Moyen Âge mathématiques histoire algorithmique
L'Énigme d'Einstein Qu'est-ce que l'énigme d'Einstein et comment la résoudre ? mathématiques algorithmique
Médailles Fields 2014 Les quatre lauréats 2014 de la plus prestigieuse des récompenses mathématiques ont été dévoilés ! mathématiques médailles fields
