Tracking p-adic precision. - Xavier Caruso; David Roe; Tristan Vaccon (CoRR, 2014)

Tracking -adic precision. - Xavier Caruso; David Roe; Tristan Vaccon (LMS J. Comput. Math., 2014)

p-Adic Stability In Linear Algebra. - Xavier Caruso; David Roe; Tristan Vaccon (ISSAC, 2015)

Division and Slope Factorization of p-Adic Polynomials. - Xavier Caruso; David Roe; Tristan Vaccon (ISSAC, 2016)

On p-Adic Differential Equations with Separation of Variables. - Pierre Lairez; Tristan Vaccon (ISSAC, 2016)

On the p-adic stability of the FGLM algorithm. - Guénaël Renault; Tristan Vaccon (CoRR, 2016)

Characteristic Polynomials of p-adic Matrices. - Xavier Caruso; David Roe; Tristan Vaccon (ISSAC, 2017)

A Tropical F5 Algorithm. - Tristan Vaccon; Kazuhiro Yokoyama (ISSAC, 2017)

Matrix-F5 algorithms over finite-precision complete discrete valuation fields. - Tristan Vaccon (J. Symb. Comput., 2017)

ZpL: a p-adic Precision Package. - Xavier Caruso; David Roe; Tristan Vaccon (ISSAC, 2018)

Matrix-F5 algorithms and tropical Gröbner bases computation. - Tristan Vaccon (J. Symb. Comput., 2018)

Gröbner Bases Over Tate Algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (ISSAC, 2019)

Gr{ö}bner bases over Tate algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (CoRR, 2019)

Signature-based algorithms for Gröbner bases over tate algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (ISSAC, 2020)

On a non-archimedean broyden method. - Xavier Dahan; Tristan Vaccon (ISSAC, 2020)

On FGLM algorithms with tropical Gröbner bases. - Yuki Ishihara; Tristan Vaccon; Kazuhiro Yokoyama (ISSAC, 2020)

Signature-based algorithms for Gr{ö}bner bases over Tate algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (CoRR, 2020)

Super-linear convergence in the p-adic QR-algorithm. - Avinash Kulkarni; Tristan Vaccon (CoRR, 2020)

On FGLM Algorithms with Tate Algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (ISSAC, 2021)

Fast evaluation of some p-adic transcendental functions. - Xavier Caruso; Marc Mezzarobba; Nobuki Takayama; Tristan Vaccon (CoRR, 2021)

On affine tropical F5 algorithms. - Tristan Vaccon; Thibaut Verron; Kazuhiro Yokoyama (J. Symb. Comput., 2021)

On Polynomial Ideals and Overconvergence in Tate Algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (ISSAC, 2022)

Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. - Przemyslaw Koprowski; Victor Magron; Tristan Vaccon (ISSAC, 2023)

Universal Analytic Gröbner Bases and Tropical Geometry. - Tristan Vaccon; Thibaut Verron (ISSAC, 2023)

Gröbner Bases Over Polytopal Affinoid Algebras. - Moulay A. Barkatou; Lucas Legrand; Tristan Vaccon (ISSAC, 2024)

Learning to compute Gröbner bases. - Hiroshi Kera; Yuki Ishihara; Yuta Kambe; Tristan Vaccon; Kazuhiro Yokoyama (NeurIPS, 2024)

Gröbner basis computation via learning. - Hiroshi Kera; Yuki Ishihara; Tristan Vaccon; Kazuhiro Yokoyama (SCSS (Work in Progress), 2024)

Universal Analytic Gr{ö}bner Bases and Tropical Geometry. - Tristan Vaccon; Thibaut Verron (CoRR, 2024)

Gr{ö}bner bases over polytopal affinoid algebras. - Moulay A. Barkatou; Lucas Legrand; Tristan Vaccon (CoRR, 2024)

Geometric Generality of Transformer-Based Gröbner Basis Computation. - Yuta Kambe; Yota Maeda; Tristan Vaccon (CoRR, 2025)