Voir le programme ici.

I will describe a connection between multiple polylogarithms on tori and the Steinberg module of rationals, and show how this connection can be used to prove that all multiple polylogarithms of a given weight and depth can be expressed via

Abstract : Using validated numerical methods, interval arithmetic and Taylor models, we propose a certified corrector-predictor loop for tracking zeros of polynomial systems with a parameter. We provide a Rust implementation and benchmark it against HomotopyContinuation.jl, a state-of-the-art uncertified homotopy

Résumé : Pour une algèbre de dimension finie, grâce au travail de Adachi-Iyama-Reiten et des autres, les objets bousculants à 2 termes sont en bijection avec certaines paires de torsion et paires de cotorsion. Ces bijections nous permettent de transférer

Résumé : Une représentation d’un groupe G sur un espace vectoriel V est distinguée par un sous-groupe H de G s’il existe sur V une forme linéaire non nulle invariante par H. Lorsque G est un groupe réductif et H