Titre :  Théorème de type Baladi-Vallée pour des groupes fuchsiens et tordues additives de fonctions L de formes de Maass. Les "tordues additives" dont il sera question sont les séries de la forme L(x, s) = \sum_{n\geq 1} a_n \e^{2\pi … Continuer la lecture →

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 →