# Projects

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/Theory and Algorithms for Truncated Hierarchical B-splines

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

## DK13: Multivariate Symbolic Asymptotics

Supervisor: Prof. Manuel Kauers

## DK14: Stable and efficient numerical methods for Stochastic Differential Equations

Supervisor: Prof. Evelyn Buckwar

## DK15: Extension of Algorithms for D-finite functions

Supervisor: Dr. Veronika Pillwein