Articles sur Zeste de Savoirhttps://zestedesavoir.com/articles/2022-11-19T07:50:56+01:00Les derniers articles parus sur Zeste de Savoir.Lumière sur les Médailles Fields 20222022-11-19T07:50:56+01:00Aabuhttps://zestedesavoir.com/articles/4233/lumiere-sur-les-medailles-fields-2022/Découvrez les lauréats 2022 d'une récompense mathématique parmi les plus prestigieuses !62 831 853 071 750 décimales de π. Et maintenant ?2021-08-20T12:19:23+02:00SpaceFoxhttps://zestedesavoir.com/articles/4016/62-831-853-071-750-decimales-de-p-et-maintenant/Les dix derniers chiffres sont : 7817924264Écrire des programmes prouvés corrects avec Coq2021-03-29T14:29:43+02:00Aabuhttps://zestedesavoir.com/articles/3758/ecrire-des-programmes-prouves-corrects-avec-coq/Garantir mathématiquement le respect d'une spécificationConstruire des portes logiques avec des dominos2021-03-15T13:12:55+01:00Migwelhttps://zestedesavoir.com/articles/3835/construire-des-portes-logiques-avec-des-dominos/S'habiller dans le bon ordre grâce aux mathématiques2020-06-09T14:06:48+02:00Aabuhttps://zestedesavoir.com/articles/3547/shabiller-dans-le-bon-ordre-grace-aux-mathematiques/Relations d'ordre, graphes et tris topologiques