RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

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.

TopicContact
Computer Algebra for Differential Equations (phd thesis) Franz Winkler  
Groebner Bases for Operator Modules (phd thesis) Franz Winkler  
Theorema Project: Design and Implementation of a Test Environment (master thesis) Wolfgang Windsteiger  
Theorema Project: Specialized Proving Methods (master thesis) Wolfgang Windsteiger  
Theorema Project: Interactive Proving (master thesis) Wolfgang Windsteiger  
Implementation of geometric methods for differential equation solving (master thesis) Franz Winkler  
Computer Algebra Algorithms for Modular Functions (master thesis) Peter Paule  
Theorema Project: Document Processing (bachelor thesis) Wolfgang Windsteiger  
Formalization of Elementary Parts of Mathematics (bachelor thesis) Wolfgang Windsteiger  

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.

TopicInvestigatorAdvisor
Formal Design Method For Reasoning about Algorithms and Representing Efficient Programs (phd thesis) Jakob Praher Tudor Jebelean
Difference Ring Algorithms for Nested Products (phd thesis) Evans Doe Ocansey Carsten Schneider
Theorema Project: Tracing Computations (master thesis) Johannes Nigl Wolfgang Windsteiger
Implementation of symbolic geometric method for rational solutions of AODEs (master thesis) Fabrizio Zucca Franz Winkler
Radu's Ramanujan-Kolberg Algorithm in Mathematica (master thesis) Bernhard Kepplinger Peter Paule

Completed Theses

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

    1. A. Maletzky. Computer-Assisted Exploration of Gröbner Bases Theory in Theorema. RISC, Johannes Kepler University Linz. PhD Thesis. May 2016. [bib]
    2. Christoph Fuerst. Axiomatic Description of Gröbner Reduction. RISC, JKU Linz. PhD Thesis. December 2016. [pdf] [bib]
    3. Daniela Ritirc. Formally Modeling and Analyzing Mathematical Algorithms with Software Specification Languages & Tools. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Diploma Thesis. January 2016. [pdf] [bib]
    4. Matteo Gallet. Algebraic Geometry methods in Kinematics: Mobile Pods. Johannes Kepler University. PhD Thesis. October 2016. [bib]
    5. N. Thieu Vo. Rational and Algebraic Solutions of First-Order Algebraic ODEs. Research Institute for Symbolic Computation. PhD Thesis. 2016. [pdf] [bib]
    6. Alexander Baumgartner. Anti-Unification Algorithms: Design, Analysis, and Implementation. RISC, JKU Linz. PhD Thesis. September 2015. [pdf] [bib]
    7. Georg Grasegger. Symbolic solutions of first-order algebraic differential equations. Johannes Kepler University Linz. PhD Thesis. 06 2015. [url] [bib]
    8. H. Rahkooy. Dual Space Algorithms for Computing Multiplicity Structure of Isolated Points. RISC, JKU Linz. PhD Thesis. July 2015. [bib]
    9. Manuela Wiesinger-Widi. Gröbner Bases and Generalized Sylvester Matrices. Johannes Kepler University Linz. PhD Thesis. 07 2015. [url] [bib]
  10. F. Johansson. Fast and rigorous computation of special functions to high precision. RISC. PhD Thesis. 2014. [pdf] [bib]
  11. Thomas Ponweiser. Computer Algebra and Analysis: Complex Variables Visualized. RISC Institute, JKU Linz, Austria. Diploma Thesis. 2014. [pdf] [bib]
  12. Alexander Hasselhuhn. 3-loop contributions to heavy flavor Wilson coefficients of neutral and charged current DIS. TU Dortmund University. PhD Thesis. 2013. [url] [bib]
  13. Maximilian Jaroschek. Removable Singularities of Ore Operators. RISC. PhD Thesis. November 2013. [pdf] [bib]
  14. S. El Bedewy. Gesture-Based Browsing of Mathematics. Internationaler Universitätslehrgang Informatics: Engineering and Management (ISI), Johannes Kepler University Linz. Diploma Thesis. 2013. [pdf] [bib]
  15. Clemens G. Raab. Definite Integration in Differential Fields. Johannes Kepler Universität Linz, Austria. PhD Thesis. August 2012. [pdf] [bib]
  16. Gabor Guta. Model-to-Text Transformation Modification by Examples. Research Institute for Symbolic Computation. PhD Thesis. 2012. [pdf] [bib]
  17. J. Ablinger. Computer Algebra Algorithms for Special Functions in Particle Physics. J. Kepler University Linz. PhD Thesis. April 2012. [pdf] [bib]
  18. Madalina Erascu. Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms. Research Institute for Symbolic Computation. PhD Thesis. 2012. RISC Technical Report 12-16. [pdf] [bib]
  19. Zafeirakis Zafeirakopoulos. Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry. Research Institute for Symbolic Computation / DK-compmath. PhD Thesis. December 2012. [pdf] [bib]
  20. Andrei-Ovidiu Coman. Video Tracking of Humans in Robotic Environments. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. September 2011. [pdf] [bib]
  21. Burcin Erocal. Algebraic extensions for summation in finite terms. RISC, Johannes Kepler University, Linz. PhD Thesis. February 2011. [pdf] [bib]
  22. Christoph Fuerst. Combinatorial Sums: Egorychev's Method of Coefficients and Riordan Arrays. RISC, Johannes Kepler University Linz. Diploma Thesis. March 2011. [pdf] [bib]
  23. Johannes Middeke. A computational view on normal forms of matrices of Ore polynomials. Research Institute for Symbolic Computation (RISC). PhD Thesis. July 2011. RISC Technical Report 11-10. [pdf] [bib]
  24. L.X.C. Ngo. Rational General Solutions of First-Order Algebraic ODEs. Research Institute for Symbolic Computation (RISC). PhD Thesis. October 2011. RISC Technical Report 11-12. [pdf] [bib]
  25. M. Hodorog. Symbolic-Numeric Algorithms for Plane Algebraic Curves. Research Institute for Symbolic Computation (RISC), Doctoral Program "Computational Mathematics". PhD Thesis. November 2011. RISC Technical Report 11-14. [pdf] [bib]
  26. Marek Sacha. Structuring and Reusing Knowledge in the Theorema System. Internationaler Universitätslehrgang Informatics: Engineering and Management (ISI), Johannes Kepler University Linz. Diploma Thesis. 2011. [pdf] [bib]
  27. Ahmad Mohamed Hisham Ismail. Remotely Controlling a Mechanical Laboratory via the Internet. Internationaler Universitaetslehrgang Informatics: Engineering & Management. Diploma Thesis. Johannes Kepler University, Linz, Austria, July 2010. [pdf] [bib]
  28. Christian Aistleitner. Differential aspects of differential characteristic set computations. Johannes Kepler University, Linz, Austria. PhD Thesis. June 2010. [pdf] [bib]
  29. Christian Aistleitner. Relations between Groebner bases, differential Groebner bases, and differential characteristic sets. Johannes Kepler University, Linz, Austria. Diploma Thesis. December 2010. [pdf] [bib]
  30. Dietmar Kerbl. An automated induction prover for finite sets implemented in the Theorema system. RISC, Johannes Kepler University Linz. Diploma Thesis. October 2010. [pdf] [bib]
  31. Flavia Stan. 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]
  32. Laura Giuri. Automated Contract Generation and Document Management in the Context of Economic Promotional Business . Internationaler Universitätslehrgang Informatics: Engineering and Management (ISI), Johannes Kepler University Linz. Diploma Thesis. 2010. [bib]
  33. Silviu Radu. An algorithmic approach to Ramanujan's congruences and related problems. RISC Linz. PhD Thesis. 2010. [bib]
  34. Yongjae Cha. Closed Form Solutions of Linear Difference Equations. Florida State University. PhD Thesis. 2010. [url] [bib]
  35. 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]
  36. 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]
  37. Christoph Koutschan. Advanced Applications of the Holonomic Systems Approach. RISC-Linz, Johannes Kepler University. PhD Thesis. September 2009. [url] [pdf] [bib]
  38. Günther Mayrhofer. Symbolic Computation Prover with Induction. Johannes Kepler University. Diploma Thesis. September 2009. [pdf] [bib]
  39. Jakob Ablinger. A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics. Johannes Kepler University. Diploma Thesis. February 2009. [pdf] [bib]
  40. 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]
  41. Manuela Wiesinger. Contributions to MacMahon's Partition Analysis. Johannes Kepler University. Diploma Thesis. January 2009. RISC Report 09-05. [pdf] [bib]
  42. 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]
  43. 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]
  44. Zsuzsanna Sinka. Interactive Tools for Inspecting Proofs in Theorema. International Studies in Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2009. Master's Thesis. [pdf] [bib]
  45. Adrian Craciun. Lazy Thinking Algorithm Synthesis in Gröbner Bases Theory. Research Institute for Symbolic Computation (RISC). PhD Thesis. 2008. [pdf] [bib]
  46. Alexander Zapletal. Compilation of Theorema Programs. RISC, Johannes Kepler University Linz. PhD Thesis. May 2008. [pdf] [bib]
  47. Imre Zoltan Matko. Grid-aware Database Support for Medical Software. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2008. [pdf] [bib]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. Veronika Pillwein. Computer Algebra Tools for Special Functions in High Order Finite Element Methods. Johannes Kepler University Linz. PhD Thesis. 2008. [ps] [pdf] [bib]
  54. K. Nabeshima. Comprehensive Groebner bases in various domains. RISC-Linz. PhD Thesis. April 2007. [ps] [pdf] [bib]
  55. 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]
  56. Shemyakova. Symbolic-Algebraic Methods for Linear Partial Differential Operators. University of Linz, Austria. PhD Thesis. July 2007. [pdf] [bib]
  57. Glauco Alfredo Lopez Diaz. Symbolic Methods for Factoring Linear Differential Operators. RISC. PhD Thesis. February 2006. [ps] [pdf] [bib]
  58. Guenther Fuchs. Logic Foundation of Geometry and Didactics. RISC, Johannes Kepler University Linz. PhD Thesis. 2006. [bib]
  59. J. Pilnikova. Parametrizing algebraic varieties using Lie algebras. RISC, JKU Linz. PhD Thesis. 2006. [pdf] [bib]
  60. Rebhi Baraka. A Framework for Publishing and Discovering Mathematical Web Services.. RISC, Johannes Kepler University Linz. PhD Thesis. 2006. [bib]
  61. Tobias Beck. Contributions to the Parametrization of Algebraic Varieties.. RISC, Johannes Kepler University Linz. PhD Thesis. 2006. [bib]
  62. Christian Aistleitner. A generic implementation of differential characteristic set algorithms in Aldor. Johannes Kepler University, Linz, Austria. Diploma Thesis. December 2005. [pdf] [bib]
  63. 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]
  64. Gabor Kusper. Solving and Simplifying the Propositional Satisfiability Problem by Sub-Model Propagation. RISC, Johannes Kepler University, Linz, Austria. PhD Thesis. 2005. [bib]
  65. Ibolya Szilagyi. Symbolic-Numeric Techniques for Cubic Surfaces. RISC-Linz. PhD Thesis. July 2005. PhD Thesis. [pdf] [ps] [bib]
  66. M. Semrad. Special Functions, Computer Proofs and the DLMF. RISC, J. Kepler University Linz. Diploma Thesis. 2005. [bib]
  67. Manuel Kauers. Algorithms for Nonlinear Higher Order Difference Equations. RISC-Linz. PhD Thesis. October 2005. [ps] [ps] [bib]
  68. Rahul Athale. Symbolic Computation in Number Theory.. RISC, Johannes Kepler University Linz. PhD Thesis. 2005. [bib]
  69. S. Gerhold. Combinatorial Sequences: Non-Holonomicity and Inequalities. RISC, J. Kepler University Linz. PhD Thesis. August 2005. [pdf] [bib]
  70. 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]
  71. Giovanna Roda. Algorithms for Change of Orderings in the Theory of Gröbner Bases.. RISC, Johannes Kepler University Linz. PhD Thesis. 2004. [bib]
  72. Károly Bósa. Fault Tolerance for Distributed Maple. RISC-Linz, Johannes Kepler University, Linz, Austria. PhD Thesis. September 2004. [ps] [bib]
  73. L. Kovacs. Verification of Imperative Programs in Theorema. West University of Timisoara, Romania. Diploma Thesis. 2004. [bib]
  74. Manasi Athale. Representation of sari using computer-generated patterns. RISC-Linz, Johannes Kepler University, Linz, Austria. PhD Thesis. 2004. [pdf] [bib]
  75. 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]
  76. V. Pillwein. Interpolation von Sobolevräumen. Joh. Kepler Univ. Linz. Diploma Thesis. January 2004. [pdf] [bib]
  77. Aleksey Kondratyev. Numerical Computation of Groebner Bases. RISC, Johannes Kepler University Linz. PhD Thesis. 2003. [bib]
  78. Erik Hillgarter. A Contribution to the Symmetry Classification Problem for 2nd Order PDEs in one Dependent and two Independent Variables. RISC, Johannes Kepler University Linz. PhD Thesis. 2003. [bib]
  79. HONG GU. Graphical Solutions to the Plateau Problem. RISC-Linz, J. Kepler University. PhD Thesis. 2003. [bib]
  80. Markus Rosenkranz. A Symbolic Algorithm for Generating Solutions of Boundary Value Problems. RISC, Johannes Kepler University Linz. PhD Thesis. 2003. [bib]
  81. Ralf Hemmecke. Involutive Bases for Polynomial Ideals. Research Institute for Symbolic Computation. PhD Thesis. Johannes Kepler University, Linz, Austria, February 2003. [url] [bib]
  82. F. Caruso. Polynomial Arithmetic and Linear Systems in Symbolic Summation. RISC Linz. PhD Thesis. 2002. [bib]
  83. Judit Robu. Automated Geometric Theorem Proving in the Frame of the Theorema Project. RISC, Johannes Kepler University Linz. PhD Thesis. 2002. [bib]
  84. Koji Nakagawa. Supporting User-Friendliness in the Mathematical Software System Theorema. RISC, Johannes Kepler University Linz. PhD Thesis. 2002. [bib]
  85. S. Gerhold. Uncoupling Systems of Linear Ore Operator Equations. RISC, J. Kepler University Linz. Diploma Thesis. 2 2002. [ps] [ps] [bib]
  86. 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]
  87. 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]
  88. C. Weixlbaumer. Solutions of Difference Equations With Polynomial Coefficients. RISC, J. Kepler University Linz. Diploma Thesis. 2001. [pdf] [bib]
  89. Piet Bikker. The Bézout Construction of the Resultant. RISC, Johannes Kepler University Linz. PhD Thesis. 2001. [bib]
  90. Tudor Jebelean. Non-conventional Algorithms for Multiple Precision Arithmetic. RISC, University of Linz. PhD Thesis. December 2001. Habilitation thesis. [bib]
  91. Wolfgang Windsteiger. A Set Theory Prover in Theorema: Implementation and Practical Applications. RISC Institute. PhD Thesis. May 2001. [tar.gz] [bib]
  92. Daniela Vasaru Dupre. Automated Theorem Proving by Integrating Proving, Solving and Computing. RISC, Johannes Kepler University of Linz. PhD Thesis. 2000. [zip] [bib]
  93. G. Bodnar. Algorithmic Resolution of Singularities. Research Institute for Symbolic Computation, Johannes Kepler University. PhD Thesis. A-4040 Linz, 2000. [bib]
  94. Mircea Marin. Functional Logic Programming with Distributed Constraint Solving. RISC, Johannes Kepler University Linz. PhD Thesis. 2000. [bib]
  95. Peter Stadelmeyer. On the Computational Complexity of Resolving Curve Singularities and Related Problems. RISC, Johannes Kepler University Linz. PhD Thesis. 2000. [bib]
  96. Petru Pau. Anchored Sweep – A Paradigm. RISC, Johannes Kepler University Linz. PhD Thesis. 2000. [bib]
  97. 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]
  98. Nikolaj Popov. Periodic Interactions. Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science, Sofia University, Bulgaria. Diploma Thesis. November 1998. [bib]
  99. A. Riese. Contributions to Symbolic q-Hypergeometric Summation. RISC, J. Kepler University Linz. PhD Thesis. 1997. [pdf] [bib]
100. Andreas Neubacher. Parametric Robust Stability by Quantifier Elimination. RISC, Johannes Kepler University Linz. PhD Thesis. 1997. [bib]
101. 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]
102. K. Wegschaider. Computer Generated Proofs of Binomial Multi-Sum Identities. RISC, J. Kepler University. Diploma Thesis. May 1997. [ps] [bib]
103. M. Rosenkranz. Lagrange Inversion. RISC, J. Kepler University Linz. Diploma Thesis. 1997. [pdf] [ps] [ps] [bib]
104. Olga Caprotti. Symbolic Pattern Solving in Algebraic Structures. RISC, Johannes Kepler University Linz. PhD Thesis. 1997. [bib]
105. V. Sofronie-Stokkermans. Fibered Structures and Applications to Automated Proving in Certain Classes of Finitely-Valued Logics. RISC, Johannes Kepler University Linz. PhD Thesis. 1997. [bib]
106. C. Mallinger. Algorithmic Manipulations and Transformations of Univariate Holonomic Functions and Sequences. RISC, J. Kepler University. Diploma Thesis. August 1996. [ps] [pdf] [bib]
107. Carl van Geem. Fast Planning of a Good Path for a Manipulator Using Potential Fields on a Non-Uniform Grid in C-space. RISC, Johannes Kepler University Linz. PhD Thesis. 1996. [bib]
108. Quoc-Nam Tran. A Hybrid Symbolic-Numerical Approach in Computer Aided Geometric Design (CAGD) and Visualization. RISC, Johannes Kepler University Linz. PhD Thesis. 1996. [bib]
109. R. Pirastu. On Combinatorial Identities: Symbolic Summation and Umbral Calculus. RISC, J. Kepler University Linz. PhD Thesis. 1996. [ps] [pdf] [bib]
110. Ziming Li. A Subresultant Theory for Linear Differential, Linear Difference and Ore Polynomials. RISC, Johannes Kepler University Linz. PhD Thesis. 1996. [pdf] [bib]
111. 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]
112. Ana Maria Mandache. Gröbner Bases Computation and Gaussian Elimination. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
113. Eugen Ardeleanu. Invariant Theory of Finite Groups and Applications. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
114. Josef Schicho. Rational Parametrization of Algebraic Surfaces. Symbolic Solution of an Equation in three Variables. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
115. Karel Stokkermans. A Categorical Framework and Calculus for Critical-Pair Completion. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
116. Klaus Kusche. Castle – Design and Implementation of a Symbolic Computation Language with Emphasis on Polymorphism and Efficiency. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
117. M. Schorn. Contributions to Symbolic Summation. RISC, J. Kepler University. Diploma Thesis. December 1995. [ps] [pdf] [bib]
118. Mark Encarnacion. Faster Algorithms for Reconstructing Rationals, Computing Polynomial GCDs, and Factoring Polynomials. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
119. Michal Mnuk. Algebraic and Geometric Approach to Parametrization of Rational Curves. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
120. Volker Stahl. Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
121. Wolfgang Gehrke. Decidability Results for Categorical Notions Related to Monads by Rewriting Techniques. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
122. Wolfgang Schreiner. Parallel Functional Programming for Computer Algebra. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
123. P. Lisonek. Computer-assisted Studies in Algebraic Combinatorics. RISC, J. Kepler University Linz. PhD Thesis. 1994. [pdf] [ps] [bib]
124. Stefan Ratschan. RISC-CLP(Tree) A Constraint Logic Programming System with Parametric Domain. RISC, Johannes Kepler University Linz. PhD Thesis. 1994. [bib]
125. Tudor Jebelean. Systolic Multiprecision Arithmetics. RISC, Johannes Kepler University Linz. PhD Thesis. 1994. [bib]
126. Bernhard Wall. Symbolic Computation with Algebraic Sets. RISC, Johannes Kepler University Linz. PhD Thesis. 1993. [bib]
127. R. Pirastu. Algorithmen zur Summation rationaler Funktionen. University of Erlangen-Nürnberg. Diploma Thesis. 1992. [pdf] [ps] [bib]
128. Windsteiger W.. Gröbner Bases: A Characterization by Syzygy Completeness and an Implementation. University of Linz, RISC Institute. Diploma Thesis. January 1992. [ps] [bib]
129. Herwig Mayr. Real-Time Dynamic Collision Checking Integrated into Graphic Manufacturing Simulation. RISC, Johannes Kepler University Linz. PhD Thesis. 1991. [bib]
130. Michael Kalkbrener. Three Contributions to Elimination Theory. RISC, Johannes Kepler University Linz. PhD Thesis. 1991. [bib]
131. 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]
132. Gerhard Funk. A Verification System for Total Correctness of the Parallel L-Language. RISC, Johannes Kepler University Linz. PhD Thesis. 1989. [bib]
133. Peter M. Hintenaus. Decomposing and Parametrizing the Solution Set of an Algebraic System. RISC, Johannes Kepler University Linz. PhD Thesis. 1989. [bib]
134. R. Michelic Birgmayer. Algorithmic Problems: Primary Decompostion and Beyond. RISC, Johannes Kepler University Linz. PhD Thesis. 1989. [bib]
135. Bernhard Kutzler. Algebraic Approaches to Automated Geometry Theorem Proving. RISC, Johannes Kepler University Linz. PhD Thesis. 1988. [bib]
136. Martin Rudalics. Multiprocessor List Memory Management. RISC, Johannes Kepler University Linz. PhD Thesis. 1988. [bib]
137. Sabine Stifter. A Medley of Solutions to the Robot Collision Problem in two and three Dimensions. RISC, Johannes Kepler University Linz. PhD Thesis. 1988. [bib]
138. Franz Winkler. The Church-Rosser Property in Computer Algebra and Special Theorem Proving. RISC, Johannes Kepler University Linz. PhD Thesis. 1984. [bib]
139. Franz Lichtenberger. PL/ADT: Ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL/I. RISC, Johannes Kepler University Linz. PhD Thesis. 1980. [bib]
140. Gilg Seeber. Kreativität und Universalität. RISC, Johannes Kepler University Linz. PhD Thesis. 1980. [bib]
141. Heinrich Rolletschek. Contributions to the Systematics of Creativity Concepts. RISC, Johannes Kepler University Linz. PhD Thesis. 1980. [bib]
142. Josef Falkinger. Universalitaet und Reduzierbarkeit von partiell rekursiven Funktionen, Automaten und deren Numerierungen. RISC, Johannes Kepler University Linz. PhD Thesis. 1978. [bib]
143. Kurt Plasser. Ueber die Vernetzung berechnbarer Funktionen. RISC, Johannes Kepler University Linz. PhD Thesis. 1976. [bib]
144. Peter Sutter. Implementierung einer Metasprache zur Definition von auf symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation. RISC, Johannes Kepler University Linz. PhD Thesis. 1976. [bib]
145. Hubert Ploner. Ein Algol 60 Interpreter. RISC, Johannes Kepler University Linz. PhD Thesis. 1975. [bib]
146. Franz Jenewein. Eine Metasprache zur Definition von Programmiersprachen und ihre Implementierung. RISC, Johannes Kepler University Linz. PhD Thesis. 1974. [bib]
147. Klaus Schindler. Blum'sche Komplexitätsmasse in der verallgemeinerten Rekursionstheorie von Moschovakis. RISC, Johannes Kepler University Linz. PhD Thesis. 1974. [bib]
148. 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 in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions. Vol. 41, Number 3-4, Pages 475-511, 2006. [pdf] [bib]


webmaster