Seguir
Thibaut Verron
Thibaut Verron
Institute for Algebra, Johannes Kepler University, Linz, Austria
Dirección de correo verificada de jku.at - Página principal
Título
Citado por
Citado por
Año
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
302013
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 125, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20