We stand with Ukraine

We stand with Ukraine

Thibaut Verron

Orcid: 0000-0003-0087-9097

According to our database¹, Thibaut Verron authored at least 27 papers between 2013 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org

On csauthors.net:

Bibliography

2024

Universal Analytic Gr{ö}bner Bases and Tropical Geometry.

[BibT_eX]

[DOI]

,

CoRR, 2024

2023

Short proofs of ideal membership.

[BibT_eX]

[DOI]

Clemens Hofstadler

,

CoRR, 2023

Universal Analytic Gröbner Bases and Tropical Geometry.

[BibT_eX]

[DOI]

,

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Transcendence Certificates for D-finite Functions.

[BibT_eX]

[DOI]

,

Christoph Koutschan

,

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Signature Gröbner bases in free algebras over rings.

[BibT_eX]

[DOI]

Clemens Hofstadler

,

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra.

[BibT_eX]

[DOI]

Clemens Hofstadler

,

J. Symb. Comput., 2022

On the computation of Gröbner bases for pluriweighted-homogeneous systems.

[BibT_eX]

[DOI]

CoRR, 2022

On Polynomial Ideals and Overconvergence in Tate Algebras.

[BibT_eX]

[DOI]

,

,

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

On affine tropical F5 algorithms.

[BibT_eX]

[DOI]

,

,

Kazuhiro Yokoyama

J. Symb. Comput., 2021

On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains.

[BibT_eX]

[DOI]

,

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

On FGLM Algorithms with Tate Algebras.

[BibT_eX]

[DOI]

,

,

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

A Signature-Based Algorithm for Computing Gröbner Bases over Principal Ideal Domains.

[BibT_eX]

[DOI]

,

Math. Comput. Sci., 2020

Signature-based algorithms for Gr{ö}bner bases over Tate algebras.

[BibT_eX]

[DOI]

,

,

CoRR, 2020

Integral P-Recursive Sequences.

[BibT_eX]

[DOI]

,

,

,

CoRR, 2020

Integral bases for p-recursive sequences.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

Signature-based algorithms for Gröbner bases over tate algebras.

[BibT_eX]

[DOI]

,

,

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

Signature-based Möller's algorithm for strong Gröbner bases over PIDs.

[BibT_eX]

[DOI]

,

CoRR, 2019

Gr{ö}bner bases over Tate algebras.

[BibT_eX]

[DOI]

,

,

CoRR, 2019

Why you should remove zeros from data before guessing.

[BibT_eX]

[DOI]

,

ACM Commun. Comput. Algebra, 2019

Gröbner Bases Over Tate Algebras.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

Signature-based Criteria for Möller's Algorithm for Computing Gröbner Bases over Principal Ideal Domains.

[BibT_eX]

[DOI]

,

CoRR, 2018

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).

[BibT_eX]

[DOI]

PhD thesis, 2016

On the complexity of computing Gröbner bases for weighted homogeneous systems.

[BibT_eX]

[DOI]

Jean-Charles Faugère

,

Mohab Safey El Din

,

J. Symb. Comput., 2016

Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery.

[BibT_eX]

[DOI]

Bernard Bonnard

,

Jean-Charles Faugère

,

Alain Jacquemard

,

Mohab Safey El Din

,

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2014

On the complexity of computing Gr{ö}bner bases for weighted homogeneous systems.

[BibT_eX]

[DOI]

Jean-Charles Faugère

,

Mohab Safey El Din

,

CoRR, 2014

2013

Computing Gröbner bases for quasi-homogeneous systems

[BibT_eX]

[DOI]

Jean-Charles Faugère

,

Mohab Safey El Din

,

CoRR, 2013

On the complexity of computing gröbner bases for quasi-homogeneous systems.

[BibT_eX]

[DOI]

Jean-Charles Faugère

,

Mohab Safey El Din

,

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Loading...