Tristan Vaccon

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 37

Top Topics

Methods In Computer Vision

Computational Cost

Top Venues

J. Symb. Comput.

LMS J. Comput. Math.

Publications

Tristan Vaccon, Thibaut Verron
Universal Analytic Gr{ö}bner Bases and Tropical Geometry. CoRR (2024)
Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon
Gr{ö}bner bases over polytopal affinoid algebras. CoRR (2024)
Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon
Gröbner Bases Over Polytopal Affinoid Algebras. ISSAC (2024)
Tristan Vaccon, Thibaut Verron
Universal Analytic Gröbner Bases and Tropical Geometry. ISSAC (2023)
Przemyslaw Koprowski, Victor Magron, Tristan Vaccon
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. ISSAC (2023)
Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama
Learning to Compute Gröbner Bases. CoRR (2023)
Victor Magron, Przemyslaw Koprowski, Tristan Vaccon
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. CoRR (2023)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
On Polynomial Ideals And Overconvergence In Tate Algebras. CoRR (2022)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
On Polynomial Ideals and Overconvergence in Tate Algebras. ISSAC (2022)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
On FGLM Algorithms with Tate Algebras. ISSAC (2021)
Xavier Caruso, Marc Mezzarobba, Nobuki Takayama, Tristan Vaccon
Fast evaluation of some p-adic transcendental functions. CoRR (2021)
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
On affine tropical F5 algorithms. J. Symb. Comput. 102 (2021)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
On FGLM Algorithms with Tate Algebras. CoRR (2021)
Avinash Kulkarni, Tristan Vaccon
Super-linear convergence in the p-adic QR-algorithm. CoRR (2020)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
Signature-based algorithms for Gr{ö}bner bases over Tate algebras. CoRR (2020)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
Signature-based algorithms for Gröbner bases over tate algebras. ISSAC (2020)
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
On FGLM algorithms with tropical Gröbner bases. ISSAC (2020)
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
On FGLM Algorithms with Tropical Gröbner bases. CoRR (2020)
Xavier Dahan, Tristan Vaccon
On a non-archimedean broyden method. ISSAC (2020)
Xavier Dahan, Tristan Vaccon
On a non-archimedean broyden method. CoRR (2020)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
Gröbner Bases Over Tate Algebras. ISSAC (2019)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
Gr{ö}bner bases over Tate algebras. CoRR (2019)
Xavier Caruso, David Roe, Tristan Vaccon
ZpL: a p-adic precision package. CoRR (2018)
Tristan Vaccon
Matrix-F5 algorithms and tropical Gröbner bases computation. J. Symb. Comput. 89 (2018)
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
On Affine Tropical F5 Algorithms. ISSAC (2018)
Xavier Caruso, David Roe, Tristan Vaccon
ZpL: a p-adic Precision Package. ISSAC (2018)
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
On Affine Tropical F5 Algorithms. CoRR (2018)
Xavier Caruso, David Roe, Tristan Vaccon
Characteristic Polynomials of p-adic Matrices. ISSAC (2017)
Tristan Vaccon, Kazuhiro Yokoyama
A Tropical F5 algorithm. CoRR (2017)
Tristan Vaccon, Kazuhiro Yokoyama
A Tropical F5 Algorithm. ISSAC (2017)
Xavier Caruso, David Roe, Tristan Vaccon
Characteristic polynomials of p-adic matrices. CoRR (2017)
Tristan Vaccon
Matrix-F5 algorithms over finite-precision complete discrete valuation fields. J. Symb. Comput. 80 (2017)
Pierre Lairez, Tristan Vaccon
On p-adic differential equations with separation of variables. CoRR (2016)
Pierre Lairez, Tristan Vaccon
On p-Adic Differential Equations with Separation of Variables. ISSAC (2016)
Guénaël Renault, Tristan Vaccon
On the p-adic stability of the FGLM algorithm. CoRR (2016)
Xavier Caruso, David Roe, Tristan Vaccon
Division and Slope Factorization of p-Adic Polynomials. CoRR (2016)
Xavier Caruso, David Roe, Tristan Vaccon
Division and Slope Factorization of p-Adic Polynomials. ISSAC (2016)
Xavier Caruso, David Roe, Tristan Vaccon
p-Adic Stability In Linear Algebra. ISSAC (2015)
Tristan Vaccon
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation. ISSAC (2015)
Xavier Caruso, David Roe, Tristan Vaccon
p-Adic Stability In Linear Algebra. CoRR (2015)
Xavier Caruso, David Roe, Tristan Vaccon
Tracking -adic precision. LMS J. Comput. Math. 17 (Theory) (2014)
Xavier Caruso, David Roe, Tristan Vaccon
Tracking p-adic precision. CoRR (2014)
Tristan Vaccon
Matrix-F5 algorithms over finite-precision complete discrete valuation fields. CoRR (2014)
Tristan Vaccon
Matrix-F5 algorithms and tropical Gröbner bases computation. CoRR (2014)
Tristan Vaccon
Matrix-F5 algorithms over finite-precision complete discrete valuation fields. ISSAC (2014)