# PhD Thesis PDFs

- M. Hodorog. Symbolic-Numeric Algorithms for Plane Algebraic Curves.
- PhD Thesis, submitted 2011. Examiners: Josef Schicho, Bernard Mourrain.
- L.X.C. Ngo. Rational General Solutions of First-Order Algebraic ODEs.
- PhD Thesis, submitted 2011. Examinors: Franz Winkler, J. Rafael Sendra.
- S. Béla. Fat Arcs and Fat Spheres for Approximating Algebraic Curves and for Solving Polynomial Systems.
- PhD Thesis, submitted 2011. Examiners: Bert Jüttler, Jens Gravesen.
- S. Takacs. All-at-once Multigrid Methods for Optimality Systems Arising from Optimal Control Problems
- PhD Thesis, submitted 2012. Examiners: Walter Zulehner, Andrew Wathen.
- C.G. Raab. Definite Integration in Differential Fields
- PhD Thesis, submitted 2012. Examiners: Peter Paule, Michael F. Singer.
- M. Kolmbauer. The Multiharmonic Finite Element and Boundary Element Method for Simulation and Control of Eddy Current Problems
- PhD Thesis, submitted 2012. Examiners: Ulrich Langer, Fredi Tröltzsch
- C. Hofreither. A Non-standard Finite Element Method using Boundary Integral Operators.
- PhD Thesis, submitted 2012. Examinors: Ulrich Langer, Sergej Rjasanow.
- Z. Zafeirakopoulos. Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry.
- PhD Thesis, submitted 2012. Examiners: Peter Paule, Matthias Beck.
- M. Kollmann. Efficient Iterative Solvers for Saddle Point Systems arising in PDE-constrained Optimization Problems with Inequality Constraints.
- PhD Thesis, submitted 2013. Examiners: Prof. Walter Zulehner, Prof. Roland Herzog.
- M. T. Khan. Formal Specification and Verification of Computer Algebra Software.
- PhD Thesis, submitted 2014. Examiners: Wolfgang Schreiner, Renaud Rioboo.
- Z. Li. Closed linkages with six revolute joints.
- PhD Thesis, submitted 2015. Examiners: Prof. Schicho, Prof. Schröcker.
- G. Grasegger. Symbolic Solutions of First-Order Algebraic Equations
- PhD Thesis, submitted 2015. Examiners: Prof. Franz Winkler, Prof. Rafael Sendra.
- M. Wiesinger-Widi. Gröbner bases and generalized Sylvester matrices.
- PhD Thesis, submitted 2015. Examiners: Prof. Buchberger, Prof. Mayr.
- G. Kiss. Theory and algorithms for truncated hierarchical B-splines.
- PhD Thesis, submitted 2015. Examiners: Prof. Jüttler, Prof. Hahmann.
- D. Gerth. Problem-adapted regularization for inverse problems in the deterministic and stochastic setting.
- PhD Thesis, submitted 2015. Examiners: Prof. Ramlau, Prof. Siltanen.
- W. Krendl. Nonstandard Sobolev spaces for preconditioning mixed methods and optimal control problems.
- PhD Thesis, submitted 2016. Examiners: Prof. Zulehner, Prof. Schulz.
- M. Gallet. Algebraic Geometry Methods in Kinematics: Mobile Pods
- PhD Thesis, submitted 2017. Examiners: Prof. Josef Schicho, Prof. Herwig Hauser.
- A. Maletzky. Computer-Assisted Exploration of Gröbner Bases Theory in Theorema.
- PhD Thesis, submitted 2016. Examiners: Prof. Buchberger, Prof. Kreuzer.
- P. Gangl. Sensitivity-Based Topology and Shape Optimization with Application to Electrical Machines.
- PhD Thesis, submitted 2017. Examiners: Prof. Langer, Prof. Tröltzsch.
- L. Ye. Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities.
- PhD thesis, updated version, June 2017. Examiners: Prof. Peter Paule, Prof. Bruce C. Berndt.
- A. Thalhammer. Numerical methods for stochastic partial differential equations: Analysis of stability and efficiency.
- PhD Thesis, submitted 2017. Examiners: Prof. Buckwar, Prof. Lord.
- S. Hubmer. Fast Gradient-Based Iterative Regularization Methods for Nonlinear Ill-Posed Problems - Theory and Applications.
- PhD Thesis, submitted 2018. Examiners: Prof. Ramlau, Prof. Hofmann.
- C. Hofer. Fast Multipatch Isogeometric Analysis Solvers.
- PhD Thesis, submitted 2018. Examiners: Prof. Langer, Prof. Sangalli.
- M. Makhul. Algebraic geometry techniques in incidence geometry.
- PhD Thesis, submitted 2018. Examiners: Prof. Schicho, Prof. Hauser.
- H. Rahkooy: Dual Space Algorithms for Computing Multiplicity Structure of Isolated Points
- PhD thesis, submitted 2015. Examiners: Prof. Bruno Buchberger, Dr. Nikolay Vasilyev
- A. Seiler: Approximate Geometric Continuity for Numerical Simulation and Surface Reconstruction on Multi-patch Domains
- PhD thesis, submitted 2019. Examiners: Prof. Jüttler, Prof. LaureanoGonzalez-Vega
- V. Hutterer: Model-based wavefront reconstruction approaches for pyramid wavefront sensors in Adaptive Optics
- PhD thesis, submitted 2018. Examiners: Prof. Ramlau, Prof. Todd Quinto
- M. Wolfmayr: Multiharmonic Finite Element Analysis of Parabolic Time-Periodic Simulation and Optimal Control Problems
- PhD thesis, submitted 2014. Examiners: Prof. Langer, Prof. Borzi.
- P. Gruber: Fast Solvers and Adaptive Hight-Order FEM in Elastoplasticity
- PhD thesis, submitted 2011. Examiners: Prof. Langer, Prof. Düster.
- I. R. Bleyer: Double Regularised Total Least Squares Method
- PhD thesis, submitted 2014. Examiners: Prof. Ronny Ramlau, Prof. Bernd Hofmann