Thibaut Verron

39 papers B 12Journal 26
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Shape Lemma for Ideals of Differential Operators.
CoRR
Manuel Kauers, Christoph Koutschan, Thibaut Verron
2024 J jnl
On the computation of Gröbner bases for matrix-weighted homogeneous systems.
J. Symb. Comput.
Thibaut Verron
2024 J jnl
Short proofs of ideal membership.
J. Symb. Comput.
Clemens Hofstadler, Thibaut Verron
2024 J jnl
Universal Analytic Gr{ö}bner Bases and Tropical Geometry.
CoRR
Tristan Vaccon, Thibaut Verron
2023 J jnl
Short proofs of ideal membership.
CoRR
Clemens Hofstadler, Thibaut Verron
2023 B conf
Signature Gröbner bases in free algebras over rings.
ISSAC
Clemens Hofstadler, Thibaut Verron
2023 J jnl
Signature Gröbner bases in free algebras over rings.
CoRR
Clemens Hofstadler, Thibaut Verron
2023 B conf
Transcendence Certificates for D-finite Functions.
ISSAC
Manuel Kauers, Christoph Koutschan, Thibaut Verron
2023 J jnl
Transcendence Certificates for D-finite Functions.
CoRR
Manuel Kauers, Christoph Koutschan, Thibaut Verron
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
2022 J jnl
On the computation of Gröbner bases for pluriweighted-homogeneous systems.
CoRR
Thibaut Verron
2022 J jnl
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra.
J. Symb. Comput.
Clemens Hofstadler, Thibaut Verron
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 Two Signature Variants Of Buchberger's Algorithm Over Principal Ideal Domains.
CoRR
Maria Francis, Thibaut Verron
2021 B conf
On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains.
ISSAC
Maria Francis, Thibaut Verron
2021 J jnl
On affine tropical F5 algorithms.
J. Symb. Comput.
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
2021 J jnl
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra.
CoRR
Clemens Hofstadler, Thibaut Verron
2020 J jnl
A Signature-Based Algorithm for Computing Gröbner Bases over Principal Ideal Domains.
Math. Comput. Sci.
Maria Francis, Thibaut Verron
2020 J jnl
Integral P-Recursive Sequences.
CoRR
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
2020 B conf
Integral bases for p-recursive sequences.
ISSAC
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
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
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
2019 J jnl
Signature-based Möller's algorithm for strong Gröbner bases over PIDs.
CoRR
Maria Francis, Thibaut Verron
2019 J jnl
Why you should remove zeros from data before guessing.
ACM Commun. Comput. Algebra
Manuel Kauers, Thibaut Verron
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 J jnl
Signature-based Criteria for Möller's Algorithm for Computing Gröbner Bases over Principal Ideal Domains.
CoRR
Maria Francis, Thibaut Verron
2016 B conf
Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery.
ISSAC
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron
2016 J jnl
Determinantal sets, singularities and application to optimal control in medical imagery.
CoRR
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron
2016 J jnl
On the complexity of computing Gröbner bases for weighted homogeneous systems.
J. Symb. Comput.
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
2016 — —
Regularisation of Gröbner basis computations for weighted and determinantal systems, and an application to medical imagery. (Régularisation du calcul de bases de Gröbner pour des systèmes avec poids et déterminantiels, et application en imagerie médicale).
Thibaut Verron
2014 J jnl
On the complexity of computing Gr{ö}bner bases for weighted homogeneous systems.
CoRR
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
2013 J jnl
Computing Gröbner bases for quasi-homogeneous systems
CoRR
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
2013 B conf
On the complexity of computing gröbner bases for quasi-homogeneous systems.
ISSAC
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron