The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
Home
Appointments
Papers
Misc
Contact

Technical Reports

Publication Lists

Annual Reports


Publications of the Project F1305


PhdThesis


September 27, 2008

Bibliography

1
F. Caruso.
Polynomial Arithmetic and Linear Systems in Symbolic Summation.
PhD thesis, RISC, Johannes Kepler University Linz, 2002.
2
S. Gerhold.
Combinatorial Sequences: Non-Holonomicity and Inequalities.
PhD thesis, RISC, J. Kepler University Linz, 2005.
3
M. Kauers.
Algorithms for Nonlinear Higher Order Difference Equations.
PhD thesis, RISC-Linz, Johannes Kepler Universität Linz, 2005.
4
C. Koutschan.
Computer Algebra Algorithms for $\partial$-Finite and Holonomic Functions.
PhD thesis, RISC-SFB F013, J. Kepler University, 2007.
In preparation.
5
I.-C. Pau.
Bijections between partitions of numbers.
PhD thesis, RISC, Johannes Kepler University Linz, 2000.
In preparation.
6
C. Schneider.
Symbolic Summation in Difference Fields.
PhD thesis, RISC, Johannes Kepler University Linz, 2001.
7
B. Zimmermann.
Symbolic Definite Intergration and Summation of Special Functions.
PhD thesis, RISC, Johannes Kepler University Linz, 2007.
In preparation.




Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund