Tristan Vaccon

According to our database, Tristan Vaccon authored at least 29 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Gr{ö}bner bases over polytopal affinoid algebras.

Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon

CoRR, 2024

Universal Analytic Gr{ö}bner Bases and Tropical Geometry.

Tristan Vaccon, Thibaut Verron

CoRR, 2024

Gröbner basis computation via learning.

Hiroshi Kera, Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama

Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), 2024

Gröbner Bases Over Polytopal Affinoid Algebras.

Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

2023

Learning to Compute Gröbner Bases.

Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama

CoRR, 2023

Universal Analytic Gröbner Bases and Tropical Geometry.

Tristan Vaccon, Thibaut Verron

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares.

Przemyslaw Koprowski, Victor Magron, Tristan Vaccon

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

On Polynomial Ideals and Overconvergence in Tate Algebras.

Xavier Caruso, Tristan Vaccon, Thibaut Verron

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

On affine tropical F5 algorithms.

Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama

J. Symb. Comput., 2021

Fast evaluation of some p-adic transcendental functions.

Xavier Caruso, Marc Mezzarobba, Nobuki Takayama, Tristan Vaccon

CoRR, 2021

On FGLM Algorithms with Tate Algebras.

Xavier Caruso, Tristan Vaccon, Thibaut Verron

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Super-linear convergence in the p-adic QR-algorithm.

Avinash Kulkarni, Tristan Vaccon

CoRR, 2020

Signature-based algorithms for Gr{ö}bner bases over Tate algebras.

Xavier Caruso, Tristan Vaccon, Thibaut Verron

CoRR, 2020

On FGLM algorithms with tropical Gröbner bases.

Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

On a non-archimedean broyden method.

Xavier Dahan, Tristan Vaccon

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

Signature-based algorithms for Gröbner bases over tate algebras.

Xavier Caruso, Tristan Vaccon, Thibaut Verron

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

Gr{ö}bner bases over Tate algebras.

Xavier Caruso, Tristan Vaccon, Thibaut Verron

CoRR, 2019

Gröbner Bases Over Tate Algebras.

Xavier Caruso, Tristan Vaccon, Thibaut Verron

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

Matrix-F5 algorithms and tropical Gröbner bases computation.

Tristan Vaccon

J. Symb. Comput., 2018

ZpL: a p-adic Precision Package.

Xavier Caruso, David Roe, Tristan Vaccon

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Matrix-F5 algorithms over finite-precision complete discrete valuation fields.

Tristan Vaccon

J. Symb. Comput., 2017

A Tropical F5 Algorithm.

Tristan Vaccon, Kazuhiro Yokoyama

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Characteristic Polynomials of p-adic Matrices.

Xavier Caruso, David Roe, Tristan Vaccon

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

On the p-adic stability of the FGLM algorithm.

Guénaël Renault, Tristan Vaccon

CoRR, 2016

On p-Adic Differential Equations with Separation of Variables.

Pierre Lairez, Tristan Vaccon

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

Division and Slope Factorization of p-Adic Polynomials.

Xavier Caruso, David Roe, Tristan Vaccon

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

p-Adic Stability In Linear Algebra.

Xavier Caruso, David Roe, Tristan Vaccon

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

Tracking -adic precision.

Xavier Caruso, David Roe, Tristan Vaccon

LMS J. Comput. Math., 2014

Tracking p-adic precision.

Xavier Caruso, David Roe, Tristan Vaccon

CoRR, 2014