3 papers
math.NT2026
Explicit Euclidean division algorithms for some degree 8 number rings
Christophe Levrat
This article focuses on some rings of integers of number fields which are known to be norm-Euclidean domains, but for which no explicit algorithm computing the Euclidean division h…
cs.CR2025
Highway to Hull: An Algorithm for Solving the General Matrix Code Equivalence Problem
Alain Couvreur, Christophe Levrat
The matrix code equivalence problem consists, given two matrix spaces of dimension , in finding invertible matrices $P…
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…