Factoring systems of linear PDEs with finite-dimensional solution spaces
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Computer proofs for polynomial identities in arbitrary many variables
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
D-finiteness: algorithms and applications
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Fast algorithms for polynomial solutions of linear differential equations
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
A telescoping method for double summations
Journal of Computational and Applied Mathematics
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
ACM Transactions on Algorithms (TALG)
Summation algorithms for Stirling number identities
Journal of Symbolic Computation
A refined difference field theory for symbolic summation
Journal of Symbolic Computation
A non-holonomic systems approach to special function identities
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
The dynamic dictionary of mathematical functions (DDMF)
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
An algorithm of computing inhomogeneous differential equations for definite integrals
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
A refined denominator bounding algorithm for multivariate linear difference equations
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Summing symbols in mutual recurrences
COCOON'11 Proceedings of the 17th annual international conference on Computing and combinatorics
The extended Zeilberger algorithm with parameters
Journal of Symbolic Computation
Trading order for degree in creative telescoping
Journal of Symbolic Computation
A symbolic summation approach to Feynman integral calculus
Journal of Symbolic Computation
Computing closed form solutions of integrable connections
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Telescopers for rational and algebraic functions via residues
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Twisting q-holonomic sequences by complex roots of unity
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Zeilberger's holonomic ansatz for Pfaffians
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Creative telescoping for rational functions using the griffiths: dwork method
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Hermite reduction and creative telescoping for hyperexponential functions
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Closed form solutions of linear difference equations in terms of symmetric products
Journal of Symbolic Computation
Holonomic functions in mathematica
ACM Communications in Computer Algebra
| Hi-index | 0.05 |