3 papers
math.NT2025
Effective Artin-Schreier-Witt theory for curves
Christophe Levrat, Rubén Muñoz--Bertrand
We present an algorithm which, given a connected smooth projective curve over an algebraically closed field of characteristic and its Hasse--Witt matrix, as well as a pos…
cs.IT2025
A divide-and-conquer sumcheck protocol
Christophe Levrat, Tanguy Medevielle, Jade Nardi
We present a new sumcheck protocol called Fold-DCS (Fold-Divide-and-Conquer-Sumcheck) for multivariate polynomials based on a divide-and-conquer strategy. Its round complexity and…
math.AG2022
Calcul effectif de la cohomologie des faisceaux constructibles sur le site étale d'une courbe
Christophe Levrat
This thesis deals with the algorithmic representation of constructible sheaves of abelian groups on the étale site of a variety over an algebraically closed field, as well as the e…