Type: |
[any] [Papers] [Theses] [Technical Reports] [Other] |

Author: |
[any] [Ablinger] [Paule] [Kauers] [Koutschan] [Pillwein] [Radu] [Schneider] |

Year: |
[any] [2017] [2016] [2015] [2014] [2013] [2012] [earlier] |

Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities. RISC and the DK program Linz. PhD Thesis. 2017. Updated version in June 2017. [pdf] [bib] | |

Fast and rigorous computation of special functions to high precision. RISC. PhD Thesis. 2014. [pdf] [bib] | |

Computer Algebra and Analysis: Complex Variables Visualized. RISC Institute, JKU Linz, Austria. Diploma Thesis. 2014. [pdf] [bib] | |

3-loop contributions to heavy flavor Wilson coefficients of neutral and charged current DIS. TU Dortmund University. PhD Thesis. 2013. [url] [bib] | |

Removable Singularities of Ore Operators. RISC. PhD Thesis. November 2013. [pdf] [bib] | |

Computer Algebra Algorithms for Special Functions in Particle Physics. J. Kepler University Linz. PhD Thesis. April 2012. [pdf] [bib] | |

Definite Integration in Differential Fields. Johannes Kepler Universität Linz, Austria. PhD Thesis. August 2012. [pdf] [bib] | |

An Algorithmic Approach to Ramanujan’s Congruences and Related Problems. RISC-JKU. PhD Thesis. 2012. [pdf] [bib] | |

Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry. Research Institute for Symbolic Computation / DK-compmath. PhD Thesis. December 2012. [pdf] [bib] | |

Algebraic extensions for summation in finite terms. RISC, Johannes Kepler University, Linz. PhD Thesis. February 2011. [pdf] [bib] | |

Combinatorial Sums: Egorychev's Method of Coefficients and Riordan Arrays. RISC, Johannes Kepler University Linz. Diploma Thesis. March 2011. [pdf] [bib] | |

Closed Form Solutions of Linear Difference Equations. Florida State University. PhD Thesis. 2010. [url] [bib] | |

An algorithmic approach to Ramanujan's congruences and related problems. RISC Linz. PhD Thesis. 2010. [bib] | |

Algorithms for Special Functions: Computer Algebra and Analytical Aspects. RISC, Johannes Kepler University Linz. PhD Thesis. June 2010. RISC technical report 10-19. [pdf] [bib] | |

A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics. Johannes Kepler University. Diploma Thesis. February 2009. [pdf] [bib] | |

Advanced Applications of the Holonomic Systems Approach. RISC-Linz, Johannes Kepler University. PhD Thesis. September 2009. [url] [pdf] [bib] | |

Power Series Solutions to Holonomic Differential Equations and the General Algebraic Equation. Johannes Kepler University Linz. Diploma Thesis. 2009. The thesis also appeared as RISC report 09-15.. Diploma thesis. [pdf] [bib] | |

Contributions to MacMahon's Partition Analysis. Johannes Kepler University. Diploma Thesis. January 2009. RISC Report 09-05. [pdf] [bib] | |

Computer Algebra Tools for Special Functions in High Order Finite Element Methods. Johannes Kepler University Linz. PhD Thesis. 2008. [ps] [pdf] [bib] | |

Combinatorial Sequences: Non-Holonomicity and Inequalities. RISC, J. Kepler University Linz. PhD Thesis. August 2005. [pdf] [bib] | |

Algorithms for Nonlinear Higher Order Difference Equations. RISC-Linz. PhD Thesis. October 2005. [ps] [ps] [bib] | |

Regular Languages and Their Generating Functions: The Inverse Problem. Friedrich-Alexander-Universität Erlangen-Nürnberg. Diploma Thesis. August 2005. [url] [pdf] [bib] | |

Special Functions, Computer Proofs and the DLMF. RISC, J. Kepler University Linz. Diploma Thesis. 2005. [bib] | |

Polynomial Arithmetic and Linear Systems in Symbolic Summation. RISC Linz. PhD Thesis. 2002. [bib] | |

Uncoupling Systems of Linear Ore Operator Equations. RISC, J. Kepler University Linz. Diploma Thesis. 2 2002. [ps] [ps] [bib] | |

Symbolic Summation in Difference Fields. RISC, J. Kepler University Linz. PhD Thesis. May 2001. (published as Technical report no. 01-17 in RISC Report Series.). [ps] [pdf] [bib] | |

Solutions of Difference Equations With Polynomial Coefficients. RISC, J. Kepler University Linz. Diploma Thesis. 2001. [pdf] [bib] | |

Contributions to Symbolic q-Hypergeometric Summation. RISC, J. Kepler University Linz. PhD Thesis. 1997. [pdf] [bib] | |

Lagrange Inversion. RISC, J. Kepler University Linz. Diploma Thesis. 1997. [pdf] [ps] [ps] [bib] | |

Implementierung von Automaten-Algorithmen mit Hilfe von binären Entscheidungsdiagrammen. Lehrstuhl für Künstliche Intelligenz (Informatik VIII), Friedrich Alexander Universität Erlangen-Nürnberg. Diploma Thesis. 1997. (Engl. translation: Implementation of Algorithms for Automatons with Binary Decision Diagrams - BDD). Diploma Thesis. [ps] [pdf] [bib] | |

Computer Generated Proofs of Binomial Multi-Sum Identities. RISC, J. Kepler University. Diploma Thesis. May 1997. [ps] [bib] | |

Algorithmic Manipulations and Transformations of Univariate Holonomic Functions and Sequences. RISC, J. Kepler University. Diploma Thesis. August 1996. [ps] [pdf] [bib] | |

A Mathematica q-Analogue of Zeilberger's Algorithm for Proving q-Hypergeometric Identities. RISC, J. Kepler University Linz. Diploma Thesis. 1995. [pdf] [bib] | |

Contributions to Symbolic Summation. RISC, J. Kepler University. Diploma Thesis. December 1995. [ps] [pdf] [bib] | |

Computer-assisted Studies in Algebraic Combinatorics. RISC, J. Kepler University Linz. PhD Thesis. 1994. [pdf] [ps] [bib] | |

Algorithmen zur Summation rationaler Funktionen. University of Erlangen-Nürnberg. Diploma Thesis. 1992. [pdf] [ps] [bib] |