RISC Theses

Open Topics

The following list contains some potential topics for bachelor, masters, or phd theses. Students interested in any of these topics (or related topics) are encouraged to get into contact with the listed topic proposer.

Topic	Contact
Rational Parametric Algebraic Curves (phd thesis)	Franz Winkler
Symbolic and Algebraic Methods for Linear Partial Differential Operators (phd thesis)	Franz Winkler
Computer Algebra Tools for Special Functions in Numerical Analysis (phd thesis)	Peter Paule
Formally Specified Computer Algebra Software (phd thesis)	Wolfgang Schreiner
Analysis of Algorithms by Automated Reasoning and Algebraic Methods (phd thesis)	Tudor Jebelean
Re-engineering equation solving for single stepping systems (master thesis)	Wolfgang Schreiner
Re-engineering integration for single stepping systems (master thesis)	Wolfgang Schreiner
A Language for Building Web Interfaces to Mathematical Software (master thesis)	Wolfgang Schreiner
Integraldarstellungen zur Berechnung von kombinatorischen Summen in Mathematica (master thesis)	Peter Paule
Automated Computing Time and Complexity Analysis of Programs (master thesis)	Bruno Buchberger
Symbolic Computation for Differential Equations (master thesis)	Bruno Buchberger
Euler-Maclaurin Expansion von Symbolischen Summen (master thesis)	Peter Paule
Symbolisches Lösen von Differentialgleichungen a la Frobenius (master thesis)	Peter Paule
Nullstellenberechnung mittels Mellin-Reihen (master thesis)	Peter Paule
Algebraic Relations in the Solution Space of a Second Order Recurrence (master thesis)	Manuel Kauers

Theses in Progress

The following list contains a selection of topics that are currently being investigated by a RISC student in the frame of a bachelor, masters, or phd thesis. This list might not be complete.

Topic	Investigator	Advisor
Formal Theory and Algorithmics of Noncommutative Gröbner Bases (phd thesis)	Manuela Wiesinger-Widi	Bruno Buchberger
Formal Theory and Algorithmics of Noncommutative Gröbner Bases (phd thesis)	Hamid Rahkooy	Bruno Buchberger
Special Function Algorithms: Computer Algebra and Analytical Aspects (phd thesis)	Flavia Stan	Peter Paule
Rule-Based Programming with Context and Sequence Variables (phd thesis)	Besik Dundua	Bruno Buchberger
Symbolic-Numeric Techniques for Genus Computation and Parametrization (phd thesis)	Madalina Hodorog	Josef Schicho
Differential Characteristic Sets (phd thesis)	Christian Aistleitner	Franz Winkler
Difference Ring Algorithms for Symbolic Summation (phd thesis)	Burcin Erocal	Carsten Schneider

Completed Theses

The following list contains all bachelor, masters, and phd theses that have been completed at RISC or by a RISC member.

1.	Amira Zaki. Re-engineering of a Grid Aware Medical Database System Based on a Metamodel. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2009. [pdf] [bib]
2.	Camelia Rosenkranz. Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema. Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria. PhD Thesis. Available as RISC Technical Report 09-04, February 2009. [pdf] [bib]
3.	Christoph Koutschan. Advanced Applications of the Holonomic Systems Approach. RISC-Linz, Johannes Kepler University. PhD Thesis. September 2009. [url] [pdf] [bib]
4.	Günther Mayrhofer. Symbolic Computation Prover with Induction. Johannes Kepler University. Diploma Thesis. September 2009. [pdf] [bib]
5.	Jakob Ablinger. A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics. Johannes Kepler University. Diploma Thesis. February 2009. [pdf] [bib]
6.	Karin Nachbagauer. 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]
7.	Manuela Wiesinger. Contributions to MacMahon's Partition Analysis. Johannes Kepler University. Diploma Thesis. January 2009. RISC Report 09-05. [pdf] [bib]
8.	Stefan Georgiev. Evaluation of Cluster Middleware in a Heterogeneous Computing Environment. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2009. [pdf] [bib]
9.	Vajda Robert. Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools. Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria. PhD Thesis. June 2009. [pdf] [bib]
10.	Adrian Craciun. Lazy Thinking Algorithm Synthesis in Gröbner Bases Theory. Research Institute for Symbolic Computation (RISC). PhD Thesis. 2008. [pdf] [bib]
11.	Alexander Zapletal. Compilation of Theorema Programs. RISC, Johannes Kepler University Linz. PhD Thesis. May 2008. [pdf] [bib]
12.	Imre Zoltan Matko. Grid-aware Database Support for Medical Software. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2008. [pdf] [bib]
13.	Johannes Watzl. Investigations on Improving the SEE-GRID Optimization Algorithm. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Diploma Thesis. June 2008. [pdf] [bib]
14.	Kenji Miyamoto. Parallel Algorithms for Sparse Matrices in an Industrial Optimization Software. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2008. [pdf] [bib]
15.	Madalina Erascu. Automated Formal Static Analysis and Retrieval of Source Code. International School for Informatics - Johannes Kepler University . Diploma Thesis. August 2008. in RISC Raport Series 08-21. [pdf] [bib]
16.	Markus Stadlbauer. Integration von Entscheidungsprozeduren in einen interaktiven Beweisassistenten. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Diploma Thesis. June 2008. [pdf] [bib]
17.	Nikolaj Popov. Functional Program Verification in Theorema. RISC, Johannes Kepler University . PhD Thesis. July 2008. Technical report no. 08-12 in RISC Report Series. [pdf] [bib]
18.	Veronika Pillwein. Computer Algebra Tools for Special Functions in High Order Finite Element Methods. Johannes Kepler University Linz. PhD Thesis. 2008. [ps] [pdf] [bib]
19.	K. Nabeshima. Comprehensive Groebner bases in various domains. RISC-Linz. PhD Thesis. April 2007. [ps] [pdf] [bib]
20.	L. Kovacs. Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema. RISC, Johannes Kepler University Linz, Austria. PhD Thesis. October 2007. RISC Technical Report No. 07-16. [pdf] [bib]
21.	Shemyakova. Symbolic-Algebraic Methods for Linear Partial Differential Operators. University of Linz, Austria. PhD Thesis. July 2007. [pdf] [bib]
22.	Glauco Alfredo Lopez Diaz. Symbolic Methods for Factoring Linear Differential Operators. RISC. PhD Thesis. February 2006. [ps] [pdf] [bib]
23.	J. Pilnikova. Parametrizing algebraic varieties using Lie algebras. RISC, JKU Linz. PhD Thesis. 2006. [pdf] [bib]
24.	Christoph Koutschan. Regular Languages and Their Generating Functions: The Inverse Problem. Friedrich-Alexander-Universität Erlangen-Nürnberg. Diploma Thesis. August 2005. [url] [pdf] [bib]
25.	Gabor Kusper. Solving and Simplifying the Propositional Satisfiability Problem by Sub-Model Propagation. RISC, Johannes Kepler University, Linz, Austria. PhD Thesis. 2005. [bib]
26.	Ibolya Szilagyi. Symbolic-Numeric Techniques for Cubic Surfaces. RISC-Linz. PhD Thesis. July 2005. PhD Thesis. [pdf] [ps] [bib]
27.	M. Semrad. Special Functions, Computer Proofs and the DLMF. RISC, J. Kepler University Linz. Diploma Thesis. 2005. [bib]
28.	Manuel Kauers. Algorithms for Nonlinear Higher Order Difference Equations. RISC-Linz. PhD Thesis. October 2005. [ps] [ps] [bib]
29.	S. Gerhold. Combinatorial Sequences: Non-Holonomicity and Inequalities. RISC, J. Kepler University Linz. PhD Thesis. August 2005. [pdf] [bib]
30.	Florina Piroi. Tools for Using Automated Provers in Mathematical Theory Exploration. Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria. PhD Thesis. August 2004. Also available as RISC Tech Report no. 04-12. [url] [bib]
31.	Károly Bósa. Fault Tolerance for Distributed Maple. RISC-Linz, Johannes Kepler University, Linz, Austria. PhD Thesis. September 2004. [ps] [bib]
32.	L. Kovacs. Verification of Imperative Programs in Theorema. West University of Timisoara, Romania. Diploma Thesis. 2004. [bib]
33.	Manasi Athale. Representation of sari using computer-generated patterns. RISC-Linz, Johannes Kepler University, Linz, Austria. PhD Thesis. 2004. [pdf] [bib]
34.	Mohamed Shalaby. Spline Implicitization of Planar Shapes and Applications. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. PhD Thesis. 2004. [txt] [bib]
35.	V. Pillwein. Interpolation von Sobolevräumen. Joh. Kepler Univ. Linz. Diploma Thesis. January 2004. [pdf] [bib]
36.	HONG GU. Graphical Solutions to the Plateau Problem. RISC-Linz, J. Kepler University. PhD Thesis. 2003. [bib]
37.	Ralf Hemmecke. Involutive Bases for Polynomial Ideals. Research Institute for Symbolic Computation. PhD Thesis. Johannes Kepler University, Linz, Austria, February 2003. [url] [bib]
38.	F. Caruso. Polynomial Arithmetic and Linear Systems in Symbolic Summation. RISC Linz. PhD Thesis. 2002. [bib]
39.	S. Gerhold. Uncoupling Systems of Linear Ore Operator Equations. RISC, J. Kepler University Linz. Diploma Thesis. 2 2002. [ps] [ps] [bib]
40.	Temur Kutsia. Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols. RISC, Johannes Kepler University of Linz. PhD Thesis. 2002. [ps] [bib]
41.	C. Schneider. 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]
42.	C. Weixlbaumer. Solutions of Difference Equations With Polynomial Coefficients. RISC, J. Kepler University Linz. Diploma Thesis. 2001. [pdf] [bib]
43.	Tudor Jebelean. Non-conventional Algorithms for Multiple Precision Arithmetic. RISC, University of Linz. PhD Thesis. December 2001. Habilitation thesis. [bib]
44.	Wolfgang Windsteiger. A Set Theory Prover in Theorema: Implementation and Practical Applications. RISC Institute. PhD Thesis. May 2001. [tar.gz] [bib]
45.	Daniela Vasaru Dupre. Automated Theorem Proving by Integrating Proving, Solving and Computing. RISC, Johannes Kepler University of Linz. PhD Thesis. 2000. [zip] [bib]
46.	G. Bodnar. Algorithmic Resolution of Singularities. Research Institute for Symbolic Computation, Johannes Kepler University. PhD Thesis. A-4040 Linz, 2000. [bib]
47.	Elena Tomuta. An Architecture for Combining Provers and its Applications in the Theorema System.. RISC, Johannes Kepler University of Linz. PhD Thesis. 1998. [ps] [bib]
48.	Nikolaj Popov. Periodic Interactions. Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science, Sofia University, Bulgaria. Diploma Thesis. November 1998. [bib]
49.	A. Riese. Contributions to Symbolic q-Hypergeometric Summation. RISC, J. Kepler University Linz. PhD Thesis. 1997. [pdf] [bib]
50.	C. Schneider. 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]
51.	K. Wegschaider. Computer Generated Proofs of Binomial Multi-Sum Identities. RISC, J. Kepler University. Diploma Thesis. May 1997. [ps] [bib]
52.	M. Rosenkranz. Lagrange Inversion. RISC, J. Kepler University Linz. Diploma Thesis. 1997. [pdf] [ps] [ps] [bib]
53.	C. Mallinger. Algorithmic Manipulations and Transformations of Univariate Holonomic Functions and Sequences. RISC, J. Kepler University. Diploma Thesis. August 1996. [ps] [pdf] [bib]
54.	R. Pirastu. On Combinatorial Identities: Symbolic Summation and Umbral Calculus. RISC, J. Kepler University Linz. PhD Thesis. 1996. [ps] [pdf] [bib]
55.	A. Riese. A Mathematica q-Analogue of Zeilberger's Algorithm for Proving q-Hypergeometric Identities. RISC, J. Kepler University Linz. Diploma Thesis. 1995. [pdf] [bib]
56.	M. Schorn. Contributions to Symbolic Summation. RISC, J. Kepler University. Diploma Thesis. December 1995. [ps] [pdf] [bib]
57.	P. Lisonek. Computer-assisted Studies in Algebraic Combinatorics. RISC, J. Kepler University Linz. PhD Thesis. 1994. [pdf] [ps] [bib]
58.	R. Pirastu. Algorithmen zur Summation rationaler Funktionen. University of Erlangen-Nürnberg. Diploma Thesis. 1992. [pdf] [ps] [bib]
59.	Windsteiger W.. Gröbner Bases: A Characterization by Syzygy Completeness and an Implementation. University of Linz, RISC Institute. Diploma Thesis. January 1992. [ps] [bib]
60.	Elena Kartashova. Resonant Interactions of Rossby waves in Bounded Domains [in Russian]. P.P.Shirshov Institute for Oceanology, USSR Academy of Sciences, Moscow. PhD Thesis. December 1990. [bib]
61.	B. Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal). Mathematical Institute, University of Innsbruck, Austria. PhD Thesis. 1965. (English translation to appear in Journal of Symbolic Computation, 2004). [pdf] [bib]

webmaster