On the complexity of computing gröbner bases for quasi-homogeneous systems. - Jean-Charles Faugère; Mohab Safey El Din; Thibaut Verron (ISSAC, 2013)

Computing Gröbner bases for quasi-homogeneous systems - Jean-Charles Faugère; Mohab Safey El Din; Thibaut Verron (CoRR, 2013)

On the complexity of computing Gr{ö}bner bases for weighted homogeneous systems. - Jean-Charles Faugère; Mohab Safey El Din; Thibaut Verron (CoRR, 2014)

Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. - Bernard Bonnard; Jean-Charles Faugère; Alain Jacquemard; Mohab Safey El Din; Thibaut Verron (ISSAC, 2016)

On the complexity of computing Gröbner bases for weighted homogeneous systems. - Jean-Charles Faugère; Mohab Safey El Din; Thibaut Verron (J. Symb. Comput., 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 (2016)

Signature-based Criteria for Möller's Algorithm for Computing Gröbner Bases over Principal Ideal Domains. - Maria Francis; Thibaut Verron (CoRR, 2018)

Gröbner Bases Over Tate Algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (ISSAC, 2019)

Why you should remove zeros from data before guessing. - Manuel Kauers; Thibaut Verron (ACM Commun. Comput. Algebra, 2019)

Gr{ö}bner bases over Tate algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (CoRR, 2019)

Signature-based Möller's algorithm for strong Gröbner bases over PIDs. - Maria Francis; Thibaut Verron (CoRR, 2019)

Signature-based algorithms for Gröbner bases over tate algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (ISSAC, 2020)

Integral bases for p-recursive sequences. - Shaoshi Chen; Lixin Du; Manuel Kauers; Thibaut Verron (ISSAC, 2020)

Integral P-Recursive Sequences. - Shaoshi Chen; Lixin Du; Manuel Kauers; Thibaut Verron (CoRR, 2020)

Signature-based algorithms for Gr{ö}bner bases over Tate algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (CoRR, 2020)

A Signature-Based Algorithm for Computing Gröbner Bases over Principal Ideal Domains. - Maria Francis; Thibaut Verron (Math. Comput. Sci., 2020)

On FGLM Algorithms with Tate Algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (ISSAC, 2021)

On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains. - Maria Francis; Thibaut Verron (ISSAC, 2021)

On affine tropical F5 algorithms. - Tristan Vaccon; Thibaut Verron; Kazuhiro Yokoyama (J. Symb. Comput., 2021)

On Polynomial Ideals and Overconvergence in Tate Algebras. - Xavier Caruso; Tristan Vaccon; Thibaut Verron (ISSAC, 2022)

On the computation of Gröbner bases for pluriweighted-homogeneous systems. - Thibaut Verron (CoRR, 2022)

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. - Clemens Hofstadler; Thibaut Verron (J. Symb. Comput., 2022)

Signature Gröbner bases in free algebras over rings. - Clemens Hofstadler; Thibaut Verron (ISSAC, 2023)

Transcendence Certificates for D-finite Functions. - Manuel Kauers; Christoph Koutschan; Thibaut Verron (ISSAC, 2023)

Universal Analytic Gröbner Bases and Tropical Geometry. - Tristan Vaccon; Thibaut Verron (ISSAC, 2023)

Universal Analytic Gr{ö}bner Bases and Tropical Geometry. - Tristan Vaccon; Thibaut Verron (CoRR, 2024)

Short proofs of ideal membership. - Clemens Hofstadler; Thibaut Verron (J. Symb. Comput., 2024)

On the computation of Gröbner bases for matrix-weighted homogeneous systems. - Thibaut Verron (J. Symb. Comput., 2024)

A Shape Lemma for Ideals of Differential Operators. - Manuel Kauers; Christoph Koutschan; Thibaut Verron (CoRR, 2025)