Suivre
Thibaut Verron
Thibaut Verron
Institute for Algebra, Johannes Kepler University, Linz, Austria
Adresse e-mail validée de jku.at - Page d'accueil
Titre
Citée par
Citée par
Année
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
292013
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
182016
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
122016
On affine tropical F5 algorithms
T Vaccon, T Verron, K Yokoyama
Proceedings of the 2018 ACM International Symposium on Symbolic and …, 2018
112018
Why you should remove zeros from data before guessing
M Kauers, T Verron
ACM Communications in Computer Algebra 53 (3), 126-129, 2019
92019
Gröbner bases over Tate algebras
X Caruso, T Vaccon, T Verron
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019
92019
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
7*2020
Signature-based algorithms for Gröbner bases over Tate algebras
X Caruso, T Vaccon, T Verron
arXiv preprint arXiv:2002.04491, 2020
72020
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
52022
On FGLM Algorithms with Tate Algebras
X Caruso, T Vaccon, T Verron
Proceedings of the 2021 on International Symposium on Symbolic and Algebraic …, 2021
42021
The generating function of Kreweras walks with interacting boundaries is not algebraic
A Bostan, M Kauers, T Verron
arXiv preprint arXiv:2012.00816, 2020
42020
Signature Gröbner bases in free algebras over rings
C Hofstadler, T Verron
Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023
32023
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
32022
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
32021
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
32020
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
32019
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, ...
32017
Short proofs of ideal membership
C Hofstadler, T Verron
Journal of Symbolic Computation, 102325, 2024
22024
Universal Analytic Gröbner Bases and Tropical Geometry
T Vaccon, T Verron
Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023
12023
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20