Laboratoire de Mathématiques de Besançon - UMR 6623 CNRS - Colloquium : Sébastien DARSES

apparaisse une infinité de fois dans l'écriture décimale de racine de 2, nous sommes très loin de pouvoir le démontrer... w

Alors que la cryptographie traite en standard le plus souvent de chiffrement, de signature et d'au- thentification, le monde des blockchains est très demandeur

L’approche utilisée, qui n’emploie que des considérations mathématiques élémentaires, fournit également des justifi- cations purement mathématiques ou combinatoires à l’usage

w Récemment, deux problèmes appa- remment sans lien (le problème de Ka- dison-Singer en analyse fonctionnelle, qui trouve son origine dans une affirma- tion de Dirac ; l’existence

Dans cet ensemble, il semble que les formes aléatoires soient contrôlées par la topologie : la spontanéité est totale avant même que la musique ne franchisse des li- mites

L’exposé sera consacré à une présentation du problème isopéri- métrique dans les espaces métriques mesurés et à la résolution récente d’un théorème de comparaison avec

Après avoir formalisé la preuve the théorème des quatre couleurs en 2005, il a créé l’équipe du laboratoire Microsoft Research - Inria qui vient de compléter la formalisation

L'ordinateur a fait sensation avec la preuve (sic !) du théorème des quatre couleurs puis avec celle, certifiée en 2013, du théorème