Index Terms
- Newt's Cape (abstract): an HTML environment for the Newton PDA
Recommendations
The q-WZ method for infinite sums (abstract only)
We develop a q-WZ method for justifying nonterminating basic hypergeometric summation formulas by computing the WZ-pairs as certificates which may involve some infinite q-shifted factorials. Using this approach, we can verify a wide variety of classical ...
Abstract only: Solving linear recurrence relations
We will present an implementation of several algorithms for solving second order linear recurrence relations. The algorithms are described in two papers accepted at ISSAC 2010. Our implementation can find Liouvillian solutions, as well as solutions ...
Comments