Évènements
Rechercher un événement
25
Apr
Preuves formelles : l’informatique au service de la rigueur et de la créativité mathématiques
Assia Mahboubi (Inria, Nantes Université & Vrije Universiteit Amsterdam )
Depuis plus d'un demi-siècle, les ordinateurs ont acquis le statut d'instruments de recherche incontournables dans de nombreuses branches de mathématiques fondamentales. Leur puissance de calcul [...]
25
Apr
25
Apr
Séminaire Rauzy: Systèmes S-adiques et substitutifs au-delà des groupes abéliens
Nicolás BITAR (LAMFA, Amiens)
Les systèmes S-adiques et substitutifs ont une riche théorie dans les cadres unidimensionnels et multidimensionnels, fournissant des outils puissants pour l'étude des sous-décalages. Dans l'espoir [...]
