| Publication | Date of Publication | Type |
|---|
Towards a Parallel Summation Algorithm
(available as arXiv preprint) | N/A | Paper |
Hilbert's Irreducibility Theorem for Linear Differential Operators
(available as arXiv preprint) | N/A | Paper |
| Differential Galois groups, specializations, and Matzat's conjecture | 2026-06-17 | Paper |
Hilbert’s irreducibility theorem for linear differential operators
Communications in Algebra | 2025-05-04 | Paper |
| Parallel summation in P-recursive extensions | 2025-02-03 | Paper |
| Separability problems in creative telescoping | 2025-01-20 | Paper |
Telescopers for differential forms with one parameter
Selecta Mathematica. New Series | 2024-03-26 | Paper |
Stability Problems on D-finite Functions
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Galois groups of linear difference-differential equations
Journal of Algebra | 2023-03-20 | Paper |
Galois Groups of Linear Difference-Differential Equations
(available as arXiv preprint) | 2022-10-18 | Paper |
| Differential Galois groups, specializations and Matzat's conjecture | 2022-09-04 | Paper |
Quasi-equivalence of heights in algebraic function fields of one variable
Advances in Applied Mathematics | 2022-06-13 | Paper |
Descent of ordinary differential equations with rational general solutions
Journal of Systems Science and Complexity | 2021-04-08 | Paper |
| Separability Problems in Creative Telescoping | 2021-02-06 | Paper |
Difference Galois groups under specialization
Transactions of the American Mathematical Society | 2020-12-18 | Paper |
| Note on the construction of Picard-Vessiot rings for linear differential equations | 2019-09-30 | Paper |
On the computation of the Galois group of linear difference equations
Mathematics of Computation | 2018-01-12 | Paper |
Parallel telescoping and parameterized Picard-Vessiot theory
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Computing the intersections of three conics according to their Jacobian curve
Journal of Symbolic Computation | 2015-08-24 | Paper |
On the structure of compatible rational functions
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
On the structure of compatible rational functions
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Hrushovski's algorithm for computing the Galois group of a linear differential equation
Advances in Applied Mathematics | 2015-05-04 | Paper |
On functional decomposition of multivariate polynomials with differentiation and homogenization
Journal of Systems Science and Complexity | 2015-01-27 | Paper |
On the existence of telescopers for mixed hypergeometric terms
Journal of Symbolic Computation | 2014-12-09 | Paper |
Multiplicative decompositions of multivariate q-hypergeometric terms
Journal of Systems Science and Mathematical Sciences | 2013-11-19 | Paper |
Wronskian determinants over differential and difference fields
Journal of Systems Science and Mathematical Sciences | 2012-06-01 | Paper |
Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant
Science in China. Series A | 2009-12-07 | Paper |
Rational solutions of ordinary difference equations
Journal of Symbolic Computation | 2008-10-22 | Paper |
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
Journal of Symbolic Computation | 2007-10-23 | Paper |
Computer Algebra and Geometric Algebra with Applications
Lecture Notes in Computer Science | 2005-11-29 | Paper |
Rational general solutions of algebraic ordinary differential equations
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
