| Publication | Date of Publication | Type |
|---|
A unified reduction for hypergeometric and q-hypergeometric creative telescoping
The Ramanujan Journal | 2025-09-03 | Paper |
Reducing hyperexponential functions over monomial extensions
Journal of Systems Science and Complexity | 2025-07-30 | Paper |
Telescopers for differential forms with one parameter
Selecta Mathematica. New Series | 2024-03-26 | Paper |
Computing Logarithmic Parts by Evaluation Homomorphisms✱
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
An additive decomposition in multiple logarithmic extensions
ACM Communications in Computer Algebra | 2023-01-11 | Paper |
An additive decomposition in logarithmic towers and beyond
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Additive decompositions in primitive extensions
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Apparent singularities of D-finite systems
Journal of Symbolic Computation | 2019-06-28 | Paper |
The Ore-Sato theorem and shift exponents in the \(q\)-difference case
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
| A q-analogue of the modified Abramov-Petkovšek reduction | 2019-01-29 | Paper |
Hermite reduction and creative telescoping for hyperexponential functions
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
Parallel telescoping and parameterized Picard-Vessiot theory
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Complexity of creative telescoping for bivariate rational functions
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | 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 |
Fast computation of common left multiples of linear ordinary differential operators
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Fast computation of common left multiples of linear ordinary differential operators
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Fast computation of common left multiples of linear ordinary differential operators
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
On the existence of telescopers for mixed hypergeometric terms
Journal of Symbolic Computation | 2014-12-09 | Paper |
Submersive rational difference systems and their accessibility
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Transforming linear functional systems into fully integrable systems
Journal of Symbolic Computation | 2012-05-07 | Paper |
A criterion for the similarity of length-two elements in a noncommutative PID.
Journal of Systems Science and Complexity | 2011-11-17 | Paper |
Some remarks on Kähler differentials and ordinary differentials in nonlinear control theory
Systems & Control Letters | 2011-11-10 | Paper |
| A Note on Lipshitz's Lemma 3 | 2011-10-22 | Paper |
| Mechanized methods for differential and difference equations | 2010-07-08 | Paper |
| scientific article; zbMATH DE number 5666939 (Why is no real title available?) | 2010-02-05 | Paper |
Determining whether a multivariate hyperexponential function is algebraic
Journal of Systems Science and Complexity | 2007-05-24 | Paper |
| scientific article; zbMATH DE number 2151232 (Why is no real title available?) | 2005-04-04 | Paper |
Differential rational normal forms and a reduction algorithm for hyperexponential func
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
Factoring systems of linear PDEs with finite-dimensional solution spaces
Journal of Symbolic Computation | 2004-08-20 | Paper |
Rational solutions of Riccati-like partial differential equations
Journal of Symbolic Computation | 2002-05-10 | Paper |
| Determinant formulas for inhomogeneous linear differential, difference and q-difference equations | 2002-03-21 | Paper |
Coherent, regular and simple systems in zero decompositions of partial differential systems.
Systems Science and Mathematical Sciences | 2002-03-11 | Paper |
| scientific article; zbMATH DE number 1262439 (Why is no real title available?) | 1999-08-24 | Paper |
| scientific article; zbMATH DE number 1253996 (Why is no real title available?) | 1999-08-02 | Paper |
| scientific article; zbMATH DE number 1254237 (Why is no real title available?) | 1999-07-22 | Paper |
Mechanical theorem proving in the local theory of surfaces
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
Determinant polynomial sequences
Chinese Science Bulletin | 1989-01-01 | Paper |
