F1301: Coordination and Service Project

F1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces

F1303: Proving and Solving over the Reals

F1304: Symbolic Differential Computation

F1305: Proving and Solving in Special Function Domains

F1306: Adaptive Multilevel Methods for Nonlinear 3D Mechanical Problems

F1308: Computational Inverse Problems and Applications

F1309: Multilevel Solvers for Large Scale Discretized Optimization Problems

F1315: Numerical and Symbolic Methods for Implicitly Defined Spline Surfaces

F1322: Computer Algebra for Pure and Applied Functional Analysis