List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On FGLM algorithms with Tate algebras | 2025-01-20 | Paper |
| On two signature variants of Buchberger's algorithm over principal ideal domains | 2025-01-20 | Paper |
| On polynomial ideals and overconvergence in Tate algebras | 2025-01-17 | Paper |
| Short proofs of ideal membership Journal of Symbolic Computation | 2024-05-24 | Paper |
| On the computation of Gröbner bases for matrix-weighted homogeneous systems Journal of Symbolic Computation | 2024-05-24 | Paper |
| Universal Analytic Gröbner Bases and Tropical Geometry Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
| Signature Gröbner bases in free algebras over rings Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
| Transcendence Certificates for D-finite Functions Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
| Why you should remove zeros from data before guessing ACM Communications in Computer Algebra | 2023-01-11 | Paper |
| The generating function of Kreweras walks with interacting boundaries is not algebraic Séminaire Lotharingien de Combinatoire | 2023-01-05 | Paper |
| The generating function of Kreweras walks with interacting boundaries is not algebraic Séminaire Lotharingien de Combinatoire | 2023-01-05 | Paper |
| Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra Journal of Symbolic Computation | 2022-05-05 | Paper |
| On Polynomial Ideals And Overconvergence In Tate Algebras | 2022-02-15 | Paper |
| On Two Signature Variants Of Buchberger's Algorithm Over Principal Ideal Domains | 2021-02-05 | Paper |
| Signature-based algorithms for Gröbner bases over tate algebras Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
| Integral bases for p-recursive sequences Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
| On affine tropical F5 algorithms Journal of Symbolic Computation | 2020-09-19 | Paper |
| Gröbner bases over Tate algebras Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
| On Affine Tropical F5 Algorithms Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
| A signature-based algorithm for computing Gröbner bases over principal ideal domains Mathematics in Computer Science | 2020-07-28 | Paper |
| Time minimal saturation of a pair of spins and application in magnetic resonance imaging Mathematical Control and Related Fields | 2020-04-29 | Paper |
| Integral P-Recursive Sequences (available as arXiv preprint) | 2020-02-07 | Paper |
| Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
| On the complexity of computing Gröbner bases for quasi-homogeneous systems Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
| On the complexity of computing Gröbner bases for quasi-homogeneous systems Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
| On the complexity of computing Gröbner bases for weighted homogeneous systems Journal of Symbolic Computation | 2016-02-19 | Paper |
| "Universal Analytic Gr{\""o}bner Bases and Tropical Geometry" (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Thibaut Verron
