Titre: Preuves formelles : l’informatique au service de la rigueur et de la créativité mathématiques Resume: 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 … Continuer la lecture →

Vendredi 25 avril, Nicolas BITAR Systèmes S-adiques et substitutifs au-delà des groupes abéliens Résumé: 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 de … Continuer la lecture →

exposé de Pierre LAZAG sur les Statistiques multiplicatives des mesures de Schur et la hiérarchie de Toda: https://www.i2m.univ-amu.fr/evenements/seminaire-rauzy-2025-04-04/ -------------------------- Vendredi 4 avril: Pierre LAZAG Statistiques multiplicatives des mesures de Schur et hiérarchie de Toda Les mesures de Schur sont des … Continuer la lecture →