A procedure for proving special function inequalities involving a discrete parameter
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Liouvillian solutions of irreducible linear difference equations
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
When can we detect that a P-finite sequence is positive?
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Solving recurrence relations using local invariants
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Closed form solutions of linear difference equations
Closed form solutions of linear difference equations
Hi-index | 0.00 |