Projects first funding period
A list of all projects of the Doctoral Program
DK1: Formal Theory and Algorithmics of Noncommutative Gröbner Bases
Supervisor: Prof. Bruno Buchberger
DK3: Geometric Solvers for Polynomial Systems
Supervisor: Prof. Bert Jüttler
DK4: Nonstandard Finite Element Solvers for Second-Order Elliptic Boundary Value Problems
Supervisor: Prof. Ulrich Langer
DK6: Computer Algebra Tools for Special Functions in Numerical Analysis
Supervisor: Prof. Peter Paule
DK8: Nonlinear regularization methods for the solution of linear ill-posed problems
Supervisor: Prof. Ronny Ramlau
DK9: Symbolic-Numeric Techniques for Genus Computation and Parametrization
Supervisor: Prof. Josef Schicho
DK10: Formally Specified Computer Algebra Software
Supervisor: Prof. Wolfgang Schreiner
DK11: Rational Parametric Algebraic Curves
Supervisor: Prof. Franz Winkler
DK12: Efficient Solvers for KKT Systems
Supervisor: Prof. Walter Zulehner