Thibaut Verron

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 34

Top Venues

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Thibaut Verron
On the computation of Gröbner bases for matrix-weighted homogeneous systems. J. Symb. Comput. 125 (2024)
Clemens Hofstadler, Thibaut Verron
Short proofs of ideal membership. J. Symb. Comput. 125 (2024)
Tristan Vaccon, Thibaut Verron
Universal Analytic Gr{ö}bner Bases and Tropical Geometry. CoRR (2024)
Clemens Hofstadler, Thibaut Verron
Signature Gröbner bases in free algebras over rings. ISSAC (2023)
Tristan Vaccon, Thibaut Verron
Universal Analytic Gröbner Bases and Tropical Geometry. ISSAC (2023)
Manuel Kauers, Christoph Koutschan, Thibaut Verron
Transcendence Certificates for D-finite Functions. ISSAC (2023)
Manuel Kauers, Christoph Koutschan, Thibaut Verron
Transcendence Certificates for D-finite Functions. CoRR (2023)
Clemens Hofstadler, Thibaut Verron
Signature Gröbner bases in free algebras over rings. CoRR (2023)
Clemens Hofstadler, Thibaut Verron
Short proofs of ideal membership. CoRR (2023)
Clemens Hofstadler, Thibaut Verron
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. J. Symb. Comput. 113 (2022)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
On Polynomial Ideals And Overconvergence In Tate Algebras. CoRR (2022)
Thibaut Verron
On the computation of Gröbner bases for pluriweighted-homogeneous systems. CoRR (2022)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
On Polynomial Ideals and Overconvergence in Tate Algebras. ISSAC (2022)
Maria Francis, Thibaut Verron
On Two Signature Variants Of Buchberger's Algorithm Over Principal Ideal Domains. CoRR (2021)
Xavier Caruso, Tristan Vaccon, Thibaut Verron
On FGLM Algorithms with Tate Algebras. ISSAC (2021)
Maria Francis, Thibaut Verron
On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains. ISSAC (2021)
Clemens Hofstadler, Thibaut Verron
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. 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)
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
Integral P-Recursive Sequences. CoRR (2020)
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
Integral bases for p-recursive sequences. ISSAC (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)
Maria Francis, Thibaut Verron
A Signature-Based Algorithm for Computing Gröbner Bases over Principal Ideal Domains. Math. Comput. Sci. 14 (2) (2020)
Maria Francis, Thibaut Verron
Signature-based Möller's algorithm for strong Gröbner bases over PIDs. CoRR (2019)
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)
Manuel Kauers, Thibaut Verron
Why you should remove zeros from data before guessing. ACM Commun. Comput. Algebra 53 (3) (2019)
Maria Francis, Thibaut Verron
Signature-based Criteria for Möller's Algorithm for Computing Gröbner Bases over Principal Ideal Domains. CoRR (2018)
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
On Affine Tropical F5 Algorithms. ISSAC (2018)
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
On Affine Tropical F5 Algorithms. CoRR (2018)
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron
Determinantal sets, singularities and application to optimal control in medical imagery. CoRR (2016)
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron
Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. ISSAC (2016)
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
On the complexity of computing Gröbner bases for weighted homogeneous systems. J. Symb. Comput. 76 (2016)
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
On the complexity of computing Gr{ö}bner bases for weighted homogeneous systems. CoRR (2014)
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
Computing Gröbner bases for quasi-homogeneous systems CoRR (2013)
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
On the complexity of computing gröbner bases for quasi-homogeneous systems. ISSAC (2013)

Thibaut Verron.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thibaut Verron