Tristan Vaccon

51 papers A* 1B 19Journal 30Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
On semidefinite-representable sets over valued fields.
CoRR
Corentin Cornou, Simone Naldi, Tristan Vaccon
2025 J jnl
Geometric Generality of Transformer-Based Gröbner Basis Computation.
CoRR
Yuta Kambe, Yota Maeda, Tristan Vaccon
2025 B conf
On OM Algorithms and Cluster Pictures.
ISSAC
Adrien Poteaux, Tristan Vaccon, Martin Weimann
2024 J jnl
Gr{ö}bner bases over polytopal affinoid algebras.
CoRR
Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon
2024 B conf
Gröbner Bases Over Polytopal Affinoid Algebras.
ISSAC
Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon
2024 — conf
Gröbner basis computation via learning.
SCSS (Work in Progress)
Hiroshi Kera, Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
2024 A* conf
Learning to compute Gröbner bases.
NeurIPS
Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama
2024 J jnl
Universal Analytic Gr{ö}bner Bases and Tropical Geometry.
CoRR
Tristan Vaccon, Thibaut Verron
2023 J jnl
Learning to Compute Gröbner Bases.
CoRR
Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama
2023 B conf
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares.
ISSAC
Przemyslaw Koprowski, Victor Magron, Tristan Vaccon
2023 J jnl
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares.
CoRR
Victor Magron, Przemyslaw Koprowski, Tristan Vaccon
2023 B conf
Universal Analytic Gröbner Bases and Tropical Geometry.
ISSAC
Tristan Vaccon, Thibaut Verron
2022 J jnl
On Polynomial Ideals And Overconvergence In Tate Algebras.
CoRR
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2022 B conf
On Polynomial Ideals and Overconvergence in Tate Algebras.
ISSAC
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2021 J jnl
Fast evaluation of some p-adic transcendental functions.
CoRR
Xavier Caruso, Marc Mezzarobba, Nobuki Takayama, Tristan Vaccon
2021 B conf
On FGLM Algorithms with Tate Algebras.
ISSAC
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2021 J jnl
On FGLM Algorithms with Tate Algebras.
CoRR
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2021 J jnl
On affine tropical F5 algorithms.
J. Symb. Comput.
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
2020 J jnl
On FGLM Algorithms with Tropical Gröbner bases.
CoRR
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
2020 B conf
On FGLM algorithms with tropical Gröbner bases.
ISSAC
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
2020 B conf
On a non-archimedean broyden method.
ISSAC
Xavier Dahan, Tristan Vaccon
2020 J jnl
On a non-archimedean broyden method.
CoRR
Xavier Dahan, Tristan Vaccon
2020 J jnl
Signature-based algorithms for Gr{ö}bner bases over Tate algebras.
CoRR
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2020 B conf
Signature-based algorithms for Gröbner bases over tate algebras.
ISSAC
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2020 J jnl
Super-linear convergence in the p-adic QR-algorithm.
CoRR
Avinash Kulkarni, Tristan Vaccon
2019 J jnl
Gr{ö}bner bases over Tate algebras.
CoRR
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2019 B conf
Gröbner Bases Over Tate Algebras.
ISSAC
Xavier Caruso, Tristan Vaccon, Thibaut Verron
2018 J jnl
Matrix-F5 algorithms and tropical Gröbner bases computation.
J. Symb. Comput.
Tristan Vaccon
2018 B conf
On Affine Tropical F5 Algorithms.
ISSAC
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
2018 J jnl
On Affine Tropical F5 Algorithms.
CoRR
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
2018 B conf
ZpL: a p-adic Precision Package.
ISSAC
Xavier Caruso, David Roe, Tristan Vaccon
2018 J jnl
ZpL: a p-adic precision package.
CoRR
Xavier Caruso, David Roe, Tristan Vaccon
2017 B conf
A Tropical F5 Algorithm.
ISSAC
Tristan Vaccon, Kazuhiro Yokoyama
2017 J jnl
A Tropical F5 algorithm.
CoRR
Tristan Vaccon, Kazuhiro Yokoyama
2017 B conf
Characteristic Polynomials of p-adic Matrices.
ISSAC
Xavier Caruso, David Roe, Tristan Vaccon
2017 J jnl
Characteristic polynomials of p-adic matrices.
CoRR
Xavier Caruso, David Roe, Tristan Vaccon
2017 J jnl
Matrix-F5 algorithms over finite-precision complete discrete valuation fields.
J. Symb. Comput.
Tristan Vaccon
2016 B conf
Division and Slope Factorization of p-Adic Polynomials.
ISSAC
Xavier Caruso, David Roe, Tristan Vaccon
2016 J jnl
Division and Slope Factorization of p-Adic Polynomials.
CoRR
Xavier Caruso, David Roe, Tristan Vaccon
2016 B conf
On p-Adic Differential Equations with Separation of Variables.
ISSAC
Pierre Lairez, Tristan Vaccon
2016 J jnl
On p-adic differential equations with separation of variables.
CoRR
Pierre Lairez, Tristan Vaccon
2016 J jnl
On the p-adic stability of the FGLM algorithm.
CoRR
Guénaël Renault, Tristan Vaccon
2015 B conf
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation.
ISSAC
Tristan Vaccon
2015 B conf
p-Adic Stability In Linear Algebra.
ISSAC
Xavier Caruso, David Roe, Tristan Vaccon
2015 J jnl
p-Adic Stability In Linear Algebra.
CoRR
Xavier Caruso, David Roe, Tristan Vaccon
2014 J jnl
Matrix-F5 algorithms and tropical Gröbner bases computation.
CoRR
Tristan Vaccon
2014 B conf
Matrix-F5 algorithms over finite-precision complete discrete valuation fields.
ISSAC
Tristan Vaccon
2014 J jnl
Matrix-F5 algorithms over finite-precision complete discrete valuation fields.
CoRR
Tristan Vaccon
2014 J jnl
Tracking -adic precision.
LMS J. Comput. Math.
Xavier Caruso, David Roe, Tristan Vaccon
2014 J jnl
Tracking p-adic precision.
CoRR
Xavier Caruso, David Roe, Tristan Vaccon
2003 J jnl
Gröbner bases over polytopal affinoid algebras.
J. Symb. Comput.
Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon