On the complexity of computing Gröbner bases for quasi-homogeneous systems JC Faugère, M Safey El Din, T Verron Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013 | 32 | 2013 |
On the complexity of computing Gröbner bases for weighted homogeneous systems JC Faugère, MS El Din, T Verron Journal of Symbolic Computation 76, 107-141, 2016 | 20 | 2016 |
On affine tropical F5 algorithms T Vaccon, T Verron, K Yokoyama Proceedings of the 2018 ACM International Symposium on Symbolic and …, 2018 | 14 | 2018 |
Determinantal sets, singularities and application to optimal control in medical imagery B Bonnard, JC Faugère, A Jacquemard, M Safey El Din, T Verron Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016 | 12 | 2016 |
Gröbner bases over Tate algebras X Caruso, T Vaccon, T Verron Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019 | 11 | 2019 |
Why you should remove zeros from data before guessing M Kauers, T Verron ACM Communications in Computer Algebra 53 (3), 126-129, 2019 | 10 | 2019 |
A signature-based algorithm for computing Gröbner bases over principal ideal domains M Francis, T Verron Mathematics in Computer Science 14, 515-530, 2020 | 8* | 2020 |
Signature-based algorithms for Gröbner bases over Tate algebras X Caruso, T Vaccon, T Verron arXiv preprint arXiv:2002.04491, 2020 | 8 | 2020 |
Regularisation of Gröbner basis computations for weighted and determinantal systems, and application to medical imagery T Verron Université Pierre et Marie Curie-Paris VI, 2016 | 7* | 2016 |
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra C Hofstadler, T Verron Journal of Symbolic Computation 113, 211-241, 2022 | 5 | 2022 |
On Polynomial Ideals and Overconvergence in Tate Algebras X Caruso, T Vaccon, T Verron Proceedings of the 2022 International Symposium on Symbolic and Algebraic …, 2022 | 4 | 2022 |
On FGLM Algorithms with Tate Algebras X Caruso, T Vaccon, T Verron Proceedings of the 2021 on International Symposium on Symbolic and Algebraic …, 2021 | 4 | 2021 |
The generating function of Kreweras walks with interacting boundaries is not algebraic A Bostan, M Kauers, T Verron arXiv preprint arXiv:2012.00816, 2020 | 4 | 2020 |
Integral bases for P-recursive sequences S Chen, L Du, M Kauers, T Verron Proceedings of the 45th International Symposium on Symbolic and Algebraic …, 2020 | 4 | 2020 |
Short proofs of ideal membership C Hofstadler, T Verron Journal of Symbolic Computation 125, 102325, 2024 | 3 | 2024 |
Signature Gröbner bases in free algebras over rings C Hofstadler, T Verron Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023 | 3 | 2023 |
On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains M Francis, T Verron Proceedings of the 2021 on International Symposium on Symbolic and Algebraic …, 2021 | 3 | 2021 |
Time minimal saturation of a pair of spins and application in magnetic resonance imaging B Bonnard, O Cots, J Rouot, T Verron HAL 2019, 2019 | 3 | 2019 |
Algebraic-geometric techniques for the feedback classification and robustness of the optimal control of a pair of Bloch equations with application to Magnetic Resonance Imaging B Bonnard, O Cots, JC Faugère, A Jacquemard, J Rouot, MS El Din, ... | 3 | 2017 |
Universal Analytic Gröbner Bases and Tropical Geometry T Vaccon, T Verron Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023 | 2 | 2023 |