Thibaut Verron
Johannes Kepler Universität Linz
H-index: 7
Europe-Austria
Top articles of Thibaut Verron
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Short proofs of ideal membership | Journal of Symbolic Computation | Clemens Hofstadler Thibaut Verron | 2024/4/2 |
Universal Analytic Gröbner Bases and Tropical Geometry | Tristan Vaccon Thibaut Verron | 2023/7/24 | |
Signature Gröbner bases in free algebras over rings | Clemens Hofstadler Thibaut Verron | 2023/7/24 | |
Transcendence Certificates for D-finite Functions | Manuel Kauers Christoph Koutschan Thibaut Verron | 2023/7/24 | |
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra | Journal of Symbolic Computation | Clemens Hofstadler Thibaut Verron | 2022/11/1 |
On Polynomial Ideals And Overconvergence In Tate Algebras | Xavier Caruso Tristan Vaccon Thibaut Verron | 2022/7/4 | |
On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains | Maria Francis Thibaut Verron | 2021/7/18 | |
Algorithme FGLM pour les algèbres de Tate | Xavier Caruso Tristan Vaccon Thibaut Verron | 2021/1/20 | |
On FGLM Algorithms with Tate Algebras | Xavier Caruso Tristan Vaccon Thibaut Verron | 2021/7/18 | |
Working with valuations | Thibaut Verron | 2020/2/27 | |
Signature-based algorithms for Gröbner bases over Tate algebras | Xavier Caruso Tristan Vaccon Thibaut Verron | 2020/2/11 | |
The generating function of Kreweras walks with interacting boundaries is not algebraic | arXiv preprint arXiv:2012.00816 | Alin Bostan Manuel Kauers Thibaut Verron | 2020/12/1 |
Integral bases for p-recursive sequences | Shaoshi Chen Lixin Du Manuel Kauers Thibaut Verron | 2020/7/20 | |
A signature-based algorithm for computing Gröbner bases over principal ideal domains | Open Mathematics | Xiangui Zhao Yang Zhang | 2015/5/6 |