3 papers
cs.SC2020
Integral P-Recursive Sequences
Shaoshi Chen, Lixin Du, Manuel Kauers +1
In an earlier paper, the notion of integrality known from algebraic number fields and fields of algebraic functions has been extended to D-finite functions. The aim of the present…
cs.SC2019
Signature-based Möller's algorithm for strong Gröbner bases over PIDs
Maria Francis, Thibaut Verron
Signature-based algorithms are the latest and most efficient approach as of today to compute Gröbner bases for polynomial systems over fields. Recently, possible extensions of thes…
math.AG2019
Gr{ö}bner bases over Tate algebras
Xavier Caruso, Tristan Vaccon, Thibaut Verron
Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algeb…