É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
La notation scientifique des nombres L'essentiel pour les physiciens et ingénieurs en herbe mathématiques physique
Le raisonnement par récurrence Une méthode de démonstration mathématique redoutablement efficace récurrence
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
Introduction à l'arithmétique flottante Comprendre et limiter les erreurs inhérentes au calcul numérique mathématiques calcul numérique
De la logique aux processeurs Ou « comment passe-t-on des maths à un ordinateur ? » mathématiques logique
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
Les fonctions de hachage cryptographiques Tout le monde en utilise, mais personne ne sait comment c'est fait mathématiques cryptologie
La cryptanalyse (méthodes antiques) Comment a-t-on cassé les premières méthodes de chiffrage mathématiques algorithmique programmation
Statistique descriptive à une dimension Explorez et comprenez les données du quotidien probabilités mathématiques mesures
Géométrie des équations du second degré Essayons de comprendre géométriquement les équations du second degré mathématiques géométrie algèbre
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
La saga des nombres - Au-delà du réel A la découverte des nombres complexes et hypercomplexes mathématiques
Nouveau roi des nombres mégapremiers Le record du nombre premier le plus long a été battu ! mathématiques
La sphère en tant que surface de Riemann La sphère possède naturellement une structure de surface de Riemann. Explorons-la et découvrons les belles choses qu'elle cache. mathématiques
Nos algorithmes sont-ils vraiment comparables ? Des difficultés des notions classiques de complexité à prédire le comportement pratique des algorithmes. mathématiques algorithmique
L'arbre de Stern-Brocot : énumération des rationnels Pour pallier les manques de la méthode historique de Cantor. mathématiques cds
Introduction aux développements limités Outil incontournable de l'analyse, les développements limités procurent une manière très efficace pour résoudre des problèmes locaux et permettent d'entrevoir d'autres méthodes plus générales. mathématiques analyse
Simulez des systèmes physiques avec la méthode d'Euler Initiation à la simulation numérique mathématiques physique analyse
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
La cryptographie asymétrique avec RSA Chiffrer ses données avec RSA sécurité cryptographie cryptologie
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
Théorème et histoire de Pythagore Comprendre le plus célèbre des théorèmes ses applications, son histoire ainsi que celle de l'homme qui lui a donné son nom. mathématiques histoire géométrie
L'Énigme d'Einstein Qu'est-ce que l'énigme d'Einstein et comment la résoudre ? mathématiques algorithmique
