24 citations · 153 across the 33 of their papers we have counts for
Showing 2018 · math.NTShow all
2 papers · 2 filters
math.NT2018★ 1 cited
Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic
Alin Bostan, Xavier Caruso, Gilles Christol +1
We revisit Christol's theorem on algebraic power series in positive characteristic and propose yet another proof for it. This new proof combines several ingredients and advantages…
math.NT2018
ZpL: a p-adic precision package
Xavier Caruso, David Roe, Tristan Vaccon
We present a new package ZpL for the mathematical software system SM. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision i…