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

Résumé : Les contre-exemples de Mukai au 14ᵉ problème de Hilbert reposent sur une observation clé, due à Nagata : les anneaux d'invariants pour certains groupes vectoriels peuvent être identifiés aux anneaux de Cox de certains éclatements d’espaces projectifs. L’anneau