Abschlussarbeiten / Dissertationen

2025

Time integration of highly oscillatory nonlinear Dirac equations. Dissertation
Kirn, M.
2025, Oktober 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000185176
Nonlinear Generalized Impedance Boundary Conditions in Inverse Scattering. Dissertation
Fink, L.
2025, September 26. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000185084
Uncertainty principles for inverse source and inverse scattering problems. Dissertation
Schätzle, L.
2025, Juli 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000183022
The Numerical Scheme of Approximate Inverse for 2D Linear Seismic Imaging. Dissertation
Ganster, K.
2025, Juni 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000182156
Numerical Methods and Machine Learning for Prompt-Gamma Neutron Activation Analysis. Dissertation
Jesser, A.
2025, Mai 22. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000181887
Light propagation in free-form dielectric waveguides: a modal perspective. Dissertation
Paszkiewicz-Idzik, M. B.
2025, Mai 16. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000181775
Modeling and Simulation of Suspension Dynamics Capturing Shapes and Contacts – With Applications. Dissertation
Marquardt, J. E.
2025, März 26. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000180411

2024

Simplified methods for transmission computation in 2D curved optical waveguides. Dissertation
Sukhova, M.
2024, Dezember 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000177539
Modellierung und Simulation chemisch-mechanisch gekoppelter Prozesse in Batterie-Aktivmaterialpartikeln. Dissertation
Schoof, R.
2024, November 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000176102
Semi-Analytical Integration in Molecular Dynamics. Dissertation
Kliesch, T.
2024, August 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000172874
Fundamental Investigation of Particle-Layer Rearrangement Events in Ceramic Wall-Flow Filters – Resolved Particle Simulations with Lattice Boltzmann Methods. Dissertation
Hafen, N.
2024, Februar 27. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000168524
All-At-Once and Reduced Solvers for Visco-Acoustic Full Waveform Inversion. Dissertation
Rheinbay, C. C.
2024, Januar 24. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167623

2023

ParaDiag and Collocation Methods: Theory and Implementation. Dissertation
Caklovic, G.
2023, November 28. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000164518
Lattice Boltzmann Methods for Partial Differential Equations. Dissertation
Simonis, S.
2023, September 13. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161726
Electromagnetic scattering from thin tubular objects and an application in electromagnetic chirality. Dissertation
Knöller, M.
2023, August 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161368
Monotonicity methods for inverse scattering problems. Dissertation
Albicker, A.
2023, Juli 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000160690
Synergies between Numerical Methods for Kinetic Equations and Neural Networks. Dissertation
Schotthöfer, S.
2023, Juni 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000158838
A Fully Parallelized and Budgeted Multi-level Monte Carlo Framework for Partial Differential Equations: From Mathematical Theory to Automated Large-Scale Computations. Dissertation
Baumgarten, N.
2023, Mai 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000158415
Uncertainty quantification and numerical methods in charged particle radiation therapy. Dissertation
Stammer, P.
2023, Mai 4. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000158316

2022

Methodisch-didaktische Entwicklung und Evaluation von interaktiven Lehr- und Lernmaterialien zur Mathematik im Bereich der Klimaforschung. Dissertation
Hattebuhr, M.
2022, Oktober 21. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151547
Multi-level stochastic collocation methods for parabolic and Schrödinger equations. Dissertation
Stein, B.
2022, Oktober 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151254
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle. Dissertation
Wunderlich, J. M.
2022, September 23. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000150609
A segregated finite element method for cardiac elastodynamics in a fully coupled human heart model. Dissertation
Fröhlich, J. S.
2022, September 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000150230
High-frequency wave-propagation: error analysis for analytical and numerical approximations. Dissertation
Baumstark, J.
2022, August 24. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000149719
On dynamical low-rank integrators for matrix differential equations. Dissertation
Schrammer, S.
2022, August 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000148853
On leapfrog-Chebyshev schemes for second-order differential equations. Dissertation
Carle, C.
2022, Juni 23. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000147725
A Hierarchical Solver for Time-Harmonic Maxwell’s Equations. Dissertation
Kraft, P.
2022, Mai 18. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000146324
Anwendung der Finite-Elemente-Heterogene-Multiskalen-Methode auf thermische Prozesse in großformatigen Lithium-Ionen-Batterien. Dissertation
Veszelka, Z.
2022, März 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000143667

2021

Numerical Investigation of Cahn-Hilliard-Type Phase-Field Models for Battery Active Particles. Dissertation
Castelli, G. F.
2021, Dezember 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000141249
Didaktisch-methodische Entwicklung und Evaluation von computergestützten Lehr- und Lernmaterialien zur Mathematik inverser Probleme. Dissertation
Wohak, K.
2021, August 24. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000136535
The Maxwell-Landau-Lifshitz-Gilbert System: Mathematical Theory and Numerical Approximation. Dissertation
Bohn, J. A.
2021, Juli 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000133728
A unified error analysis for the numerical solution of nonlinear wave-type equations with application to kinetic boundary conditions. Dissertation
Leibold, J.
2021, März 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000130222
Error Analysis of Exponential Integrators for Nonlinear Wave-Type Equations. Dissertation
Dörich, B.
2021, März 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000130187
Numerical homogenization of time-dependent Maxwell’s equations with dispersion effects. Dissertation
Freese, J. P.
2021, Februar 4. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129214
Theory, models, and numerical methods for classical and non-classical transport. Dissertation
Camminady, T.
2021, Februar 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000128846
Multilingual Sequence-To-Sequence Speech Recognition. Masterarbeit
Gremmelmaier, H.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000166138

2020

A hybrid weakly conforming finite element method for applications in solid mechanics. Dissertation
Krämer, J. G.
2020, Dezember 16. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000127572
Combining computational fluid dynamics and magnetic resonance imaging data using lattice Boltzmann based topology optimisation. Dissertation
Klemens, F.
2020, November 2. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000125499
Error analysis for space and time discretizations of quasilinear wave-type equations. Dissertation
Maier, B.
2020, Juli 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000120935
A parallel and adaptive space-time discontinuous Galerkin method for visco-elastic and visco-acoustic waves. Dissertation
Ziegler, D. A.
2020, März 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000110469
Sample-Incremental Meta-Learning: Weight-Mapping with Deep Learning. Masterarbeit
Huber, C.; Waibel, A.; Thäter, G.; Hussain, J.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000166145
Seismic Imaging with the Elliptic Radon Transform in 3D: Analytical and Numerical Aspects. Dissertation
Grathwohl, C.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105093

2019

Communication Optimization by Data Replication for Distributed Graph Algorithms. Masterarbeit
Ribizel, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000124307
Reconstructing the Shape and Measuring Chirality of Obstacles in Electromagnetic Scattering. Dissertation
Hagemann, F. P.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100295
Scattering of time-harmonic electromagnetic waves involving perfectly conducting and conductive transmission conditions. Dissertation
Cramer, E.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100133
A discontinuous Galerkin method for continuum dislocation dynamics in a fully-coupled elastoplasticity model. Dissertation
Wagner, L.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096183
The Viscoelastic Seismic Model: Existence, Uniqueness and Differentiability with Respect to Parameters. Dissertation
Zeltmann, U. C.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000093989
The Peaceman–Rachford ADI-dG method for linear wave-type problems. Dissertation
Köhler, J.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000089271
Fehleranalyse von auf trigonometrischen Integratoren basierenden Splittingverfahren für hochoszillatorische, semilineare Probleme. Dissertation
Buchholz, S. F.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000088935

2018

Uniformly Accurate Methods for Klein-Gordon type Equations. Dissertation
Baumstark, S.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000087180
Space-Time Methods for Acoustic Waves with Applications to Full Waveform Inversion. Dissertation
Ernesti, J.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000082807

2017

Transmission Eigenvalues for Periodic Media. Dissertation
Stompe, J. A.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000076507
Numerical Integrators for Maxwell-Klein-Gordon and Maxwell-Dirac Systems in Highly to Slowly Oscillatory Regimes. Dissertation
Krämer, P.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000076449
A parallel elastic and inelastic heterogeneous multiscale method for rate-independent materials. Dissertation
Shirazi Nejad, R.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000074054
Time-integration methods for a dispersion-managed nonlinear Schrödinger equation. Dissertation
Mikl, M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000071577
A unified error analysis for spatial discretizations of wave-type equations with applications to dynamic boundary conditions. Dissertation
Hipp, D.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070952
Halfspace Matching: a Domain Decomposition Method for Scattering by 2D Open Waveguides. Dissertation
Ott, J.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070898
Locally Implicit Time Integration for Linear Maxwell’s Equations. Dissertation
Sturm, A.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000069341
Numerical simulation of a highly underexpanded carbon dioxide jet. Dissertation
Galeano, C.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000068494
On Multiscale Algorithms for Selected Applications in Molecular Mechanics. Dissertation
Fath, L.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000067825

2016

Lattice Boltzmann Methods for Particulate Flows with Medical and Technical Applications. Dissertation
Henn, T.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000061601
Electromagnetic Wave Scattering at Biperiodic Surfaces: Variational Formulation, Boundary Integral Equations and High Order Solvers. Dissertation
Rösch, T.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000060856
The Mathematical Analysis of a Micro Scale Model for Lithium-Ion Batteries. Dissertation
Maier, M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000058305
A Parallel and Adaptive Space-Time Method for Maxwell’s Equations. Dissertation
Findeisen, S. M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056876
The Factorization Method for Conducting Transmission Conditions. Dissertation
Bondarenko, O.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000054797
A model-aware inexact Newton scheme for electrical impedance tomography. Dissertation
Winkler, R.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000054135

2015

Numerical approximation of higher-dimensional Continuum Dislocation Dynamics theory in single crystal plasticity. Dissertation
Thawinan, E.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000049994
On Inexact Newton Methods for Inverse Problems in Banach Spaces. Dissertation
Margotti, F. J.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048606
Numerical Analysis of the Electro-Magnetic Perfectly Matched Layer in a Discontinuous Galerkin Discretization. Dissertation
Schulz, A.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000047785

2014

Analysis and Simulation of Hybrid Models for Reaction Networks. Dissertation
Kreim, M.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000047791
Rational Krylov subspace methods for phi-functions in exponential integrators. Dissertation
Göckler, T.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000043647
Eine flexible Klasse von local time stepping Verfahren. Dissertation
Demirel, A.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000040634
Geometric Regularization in Bioluminescence Tomography. Dissertation
Kreutzmann, T.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000037411

2013

The Fourier-Galerkin Method for Band Structure Computations of 2D and 3D Photonic Crystals. Dissertation
Anic, B.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000038870
Error analysis of implicit and exponential time integration of linear Maxwell’s equations. Dissertation
Pazur, T.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000038617
Stetige Galerkinverfahren für zeitabhängige Maxwellgleichungen mit Kerr-Nichtlinearität. Dissertation
Gerner, H.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000037035
Positivity Preservation in the Simulation of Relativistic Laser-Plasma Interaction. Dissertation
Wortmann, A.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000036140
Lösung von hochdimensionalen Anfangswertproblemen durch hierarchische Tensor-Approximation. Dissertation
Arnold, A. T.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000036112
Domain Decomposition Methods in Optimal Flow Control for High Performance Computing. Dissertation
Ketelaer, E.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000036097
Ein hochskalierbarer paralleler direkter Löser für Finite Elemente Diskretisierungen. Dissertation
Maurer, D.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000035373
The Discontinuous Galerkin Method for Maxwell’s Equations: Application to Bodies of Revolution and Kerr-Nonlinearities. Dissertation
Blank, E.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000033941

2012

Asynchronous and Multiprecision Linear Solvers - Scalable and Fault-Tolerant Numerics for Energy Efficient High Performance Computing. Dissertation
Anzt, H.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000031477
Parameteridentifikation und Optimale Versuchsplanung bei instationären partiellen Differentialgleichungen. Dissertation
Nestler, A.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000031264
Methoden zur Lösungsverifikation und Einschließungsverfahren für gemischte Komplementaritätsprobleme. Dissertation
Hammer, D.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000031090
hp-FEM for Two-component Flows with Applications in Optofluidics. Dissertation
Ronnås, S.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000030003
Numerical Methods for the Chemical Master Equation. Dissertation
Udrescu, T.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000029251
A Fully Automatic hp-Adaptive Refinement Strategy. Dissertation
Bürg, M.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000029034
Numerical Simulation of Particle Deposition in the Human Lungs. Dissertation
Gengenbach, T.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000028795
Parallel Preconditioners for an Ocean Model in Climate Simulations. Dissertation
Wilhelm, F.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000027114
Parallel Sparse Linear Algebra for Multi-core and Many-core Platforms : Parallel Solvers and Preconditioners. Dissertation
Lukarski, D.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000026568
Numerical Simulation of Tropical Cyclones using Goal-Oriented Adaptivity. Dissertation
Baumann, M.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000025974
Uncertainty Quantification for Stochastic Dynamical Systems: Spectral Methods using Generalized Polynomial Chaos. Dissertation
Schick, M.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000025838

2011

Boundary Element Approximation for Maxwell’s Eigenvalue Problem. Dissertation
Xin, J.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000024374
Adaptivity in Bandstructure Calculations of Photonic Crystals. Dissertation
Krämer, A.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023350
Hardware-aware solvers for large, sparse linear systems - Multi-precision and parallel approaches. Dissertation
Rocker, B. H. K.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023260
High Performance Computing for Stability Problems - Applications to Hydrodynamic Stability and Neutron Transport Criticality. Dissertation
Subramanian, C.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022505
Numerical methods of localization of Wannier functions in modeling of Photonic Crystals. Dissertation
Bulovyatova, T.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022504

2010

Optimization of Photonic Band Structures. Dissertation
Richter, M.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021317
Fluid Flow Simulation and Optimisation with Lattice Boltzmann Methods on High Performance Computers - Application to the Human Respiratory System. Dissertation
Krause, M. J.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000019768
Numerical Analysis of Algorithms for Infinitesimal Associated and Non-Associated Elasto-Plasticity. Dissertation
Sauter, M.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000019551
High Performance Computing Based Methods for Simulation and Optimisation of Flow Problems. Dissertation
Bockelmann, H.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000019481
A parallel multigrid method for band structure computation of 3D photonic crystals with higher order finite elements. Dissertation
Bulovyatov, A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000018306

2009

Numerische Analyse und parallele Simulation von nichtlinearen Cosserat-Modellen. Dissertation
Müller, W.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000014838
Bounds for optimization of the reflection coefficient by constrained optimization in hardy spaces. Dissertation
Schneck, A.
2009. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000011809
Verifikation beim quadratischen und polynomialen Eigenwertproblem. Dissertation
Decker, F.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000010765

2007

Steigungen höherer Ordnung zur verifizierten globalen Optimierung. Dissertation
Schnurr, M.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007245
Steigungen höherer Ordnung zur verifizierten globalen Optimierung. Dissertation
Schnurr, M.
2007. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000007229
Variational Integrators and Generating Functions for Stochastic Hamiltonian Systems. Dissertation
Wang, L.
2007. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000007007
Variational Integrators and Generating Functions for Stochastic Hamiltonian Systems. Dissertation
Wang, L.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000006939
Über Taylor-Modelle. Dissertation
Eble, I.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000006671

2006

Numerical analysis of Lattice Boltzmann Methods for the heat equation on a bounded interval. Dissertation
Weiß, J.-P.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000005304
Optimale Beschichtung von Laserspiegeln zur Erzeugung ultrakurzer Laserpulse. Dissertation
Brunk, J.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000005155
Numerical analysis of Lattice Boltzmann Methods for the heat equation on a bounded interval. Dissertation
Weiß, J.-P.
2006. Universität Karlsruhe (TH)

2005

Semilocal convergence of Newton’s method for finite-dimensional variational inequalities and nonlinear complementarity problems. Dissertation
Wang, Z.
2005. Universität Karlsruhe (TH). doi:10.5445/IR/1000003387

2004

Interesse und Bildung. Bildungstheoretische und -praxisbezogene Überlegungen zu einem pädagogischen Grundverhältnis. Dissertation
Laegeler, H.
2004. Universität Karlsruhe (TH)

2003

Adaptive verifizierte Lösung gewöhnlicher Differentialgleichungen. Dissertation
Dietrich, S.
2003. Fak. f. Mathematik, Diss. v. 3.2.2003., Universität Karlsruhe (TH)
Computerverifikation von Lösungen nichtlinearer Integralgleichungen [online]. Dissertation
Obermaier, H.
2003. Fak. f. Mathematik, Diss. v. 23.7.2003., Universität Karlsruhe (TH). doi:10.5445/IR/3722003

2002

Ein VHDL Koprozessorkern für das exakte Skalarprodukt [online]. Dissertation
Bierlox, N.
2002. Fak. f. Mathematik, Diss. v. 8.11.2002., Universität Karlsruhe (TH). doi:10.5445/IR/5152002

2000

Iterative solution of linear systems with improved arithmetic and result verification [online]. Dissertation
Facius, A.
2000. Fak. f. Mathematik, Diss. v. 26.7.2000., Universität Karlsruhe (TH). doi:10.5445/IR/9602000
Verifizierte Bestimmung singulärer Integrale - Quadratur und Kubatur [online]. Dissertation
Wedner, S.
2000. Fak. f. Mathematik, Diss. v. 11.12.2000., Universität Karlsruhe (TH). doi:10.5445/IR/25272000
Zur Berechnung von Funktionswerteinschlieáungen bei speziellen Funktionen der mathematischen Physik [online]. Dissertation
Hofschuster, W.
2000. Fak. f. Mathematik, Diss. v. 5.6.2000., Universität Karlsruhe (TH). doi:10.5445/IR/19502000
Ein a-posteriori Fehlerschätzer für die geometrisch nichtlineare Elastizitätstheorie [online]. Dissertation
Schmidt, J. G.
2000. Fak. f. Mathematik, Diss. v. 16.2.2000., Universität Karlsruhe (TH). doi:10.5445/IR/1402000

1999

Krylov-Unterraum-Verfahren für Gleichungssysteme aus der Strukturmechanik auf sequentiellen und parallelen Rechnern. Dissertation
Lenhardt, I.
1999. Marburg 1999. (Edition Wissenschaft. Reihe Mathematik. 29.) Fak. f. Mathematik, Diss. v. 19.12.1997., Universität Karlsruhe (TH)
Das lineare Komplementaritätsproblem mit Intervalleinträgen [online]. Dissertation
Schaefer, U.
1999. Fak. f. Mathematik, Diss. v. 29.11.1999., Universität Karlsruhe (TH). doi:10.5445/IR/87699
Das Verfahren der sukzessiven Überrelaxation (SOR-Verfahren) bei periodischen Markov-Ketten [online]. Dissertation
Freimann, G. M.
1999. Fak. f. Mathematik, Diss. v. 8.12.1999., Universität Karlsruhe (TH). doi:10.5445/IR/126699
Gebietserkennung in der elektrischen Impedanztomographie [online]. Dissertation
Bruehl, M.
1999. Fak. f. Mathematik, Diss. v. 20.1.1999., Universität Karlsruhe (TH). doi:10.5445/IR/11299

1998

Lösungseinschließung bei Anfangswertproblemen für quasilineare hyperbolische Differentialgleichungen. Dissertation
Koeber, M.
1998. Marburg 1998. (Edition Wissenschaft. Reihe Mathematik. 24.) Fak. f. Mathematik, Diss. v. 30.6.1997., Universität Karlsruhe (TH)
Oberon-XSC - Eine Programmiersprache und Arithmetikbibliothek für das Wissenschaftliche Rechnen. Dissertation
Januschke, P.
1998. Fak. f. Mathematik, Diss. v. 15.7.1998., Universität Karlsruhe (TH)
Verifizierende rechnerinvariante Numerikmodule. Dissertation
Kersten, T.
1998. Fak. f. Mathematik, Diss. v. 15.7.1998., Universität Karlsruhe (TH)
Adaptive numerische Quadratur und Kubatur mit automatischer Ergebnisverifikation [online]. Dissertation
Chen, C.-Y.
1998. Fak. f. Mathematik, Diss. v. 16.12.1998., Universität Karlsruhe (TH). doi:10.5445/IR/95898

1997

Zur Lösungsverifikation bei Fredholmschen Integralgleichungen zweiter Art. Dissertation
Gienger, A.
1997. Fak. f. Mathematik, Diss. v. 19.12.1997., Universität Karlsruhe (TH)
Schnelle Summationsverfahren zur numerischen Lösung von Integralgleichungen für Streuprobleme im R3. Dissertation
Giebermann, K.
1997. Fak. f. Mathematik, Diss. v. 13.11.1997., Universität Karlsruhe (TH)
Verifizierte globale Optimierung auf Parallelrechnern. Dissertation
Wiethoff, A.
1997. Fak. f. Mathematik, Diss. v. 17.12.1997., Universität Karlsruhe (TH). doi:10.5445/IR/118497

1996

Ein Vektorarithmetik-Koprozessor in VLSI-Technik zur Unterstützung des Wissenschaftlichen Rechnens. Dissertation
Baumhof, C.
1996. Fak. f. Mathematik, Diss. v. 15.5.1996., Universität Karlsruhe (TH)

1995

Symplektische Stabilitätstheorie zur numerischen Integration von Hamilton- Systemen. Dissertation
Goertz, P.
1995. Fak. f. Mathematik, Diss. v. 19.7.1995., Universität Karlsruhe (TH)
Verifizierte Berechnung mehrfach geschachtelter singulärer Integrale der Gaskinetik. Dissertation
Storck, U.
1995. Fak. f. Mathematik, Diss. v. 17.5.1995., Universität Karlsruhe (TH)
Sichere Verschneidung von Kurven und Flächen im CAGD. Dissertation
Schramm, P.
1995. Fak. f. Mathematik, Diss. v. 15.2.1995., Universität Karlsruhe (TH)
Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung. Dissertation
Hocks, M.
1995. Universität Karlsruhe (TH). doi:10.5445/IR/42595

1994

Ableitungsfreie Fehlerabschätzungen bei numerischer Integration holomorpher Funktionen. Dissertation
Schira, T.
1994. Fak. f. Mathematik, Diss. v. 15.6.1994., Universität Karlsruhe (TH)
Globale Approximation des Ladungstransportes in Halbleitern bei periodischer Anregung. Dissertation
Schlett, M.
1994. Fak. f. Mathematik, Diss. v. 2.2.1994., Universität Karlsruhe (TH)
Zur Simulation der Dynamik deterministischer und stochastischer Anregungen bei Stirnradgetrieben. Dissertation
Keppler, H.
1994. Düsseldorf 1994. (Fortschritt-Berichte VDI. Reihe 1, Nr. 233.) Fak. f. Mathematik, Diss. v. 22.12.1993., Universität Karlsruhe (TH)

1993

Numerische Untersuchungen zur Grenzschichtproblematik bei extremen MHD- Stroemungen. Dissertation
Geoerg, S.
1993. Fak. f. Mathematik, Diss. v. 10.2.1993., Universität Karlsruhe (TH)
Fast automatic differentiation for vector processors and reduction of the spatial complexity in a source translation environment. Dissertation
Shiriaev, D.
1993. Fak. f. Mathematik, Diss. v. 22.12.1993., Universität Karlsruhe (TH)
Konstruktion von Fehlerschranken bei der verallgemeinerten Singulaerwertzerlegung und ihre iterative Verbesserung. Dissertation
Hoffmann, R.
1993. Fak. f. Mathematik, Diss. v. 12.5.1993., Universität Karlsruhe (TH)
Ein Einschließungsverfahren für das inverse Dirichletproblem. Dissertation
Neher, M.
1993. Universität Karlsruhe (TH). doi:10.5445/IR/134693
Ueber Einschliessungsverfahren fuer gewoehnliche Anfangswertprobleme und ihre Anwendung auf Differentialgleichungen mit unstetiger rechter Seite. Dissertation
Rihm, R.
1993. Fak. f. Mathematik, Diss. v. 10.2.1993., Universität Karlsruhe (TH)

1992

Semimorphe Arithmetik zur automatischen Ergebnisverifikation auf Vektorrechnern. Dissertation
Schmidt, L.
1992. Fak. f. Elektrotechnik, Diss. v. 11.2.1992., Universität Karlsruhe (TH)
Iterationsverfahren auf Mannigfaltigkeiten zur Loesung inverser Eigenwertprobleme. Dissertation
Scholtyssek, V.
1992. Fak. f. Mathematik, Diss. v. 12.2.1992., Universität Karlsruhe (TH)
C-XSC. Eine objekt-orientierte Programmierumgebung fuer verifiziertes wissenschaftliches Rechnen. Dissertation
Lawo, C.
1992. Fak. f. Mathematik, Diss. v. 27.5.1992., Universität Karlsruhe (TH)
Maximal genaue Berechnung von Skalarproduktausdruecken und hochgenaue Auswertung von Programmteilen. Dissertation
Hammer, R.
1992. Fak. f. Mathematik, Diss. v. 1.7.1992., Universität Karlsruhe (TH)
Lanczos- und Krylov-Verfahren fuer nicht-Hermitesche lineare Systeme. Dissertation
Hochbruck, M.
1992. Fak. f. Mathematik, Diss. v. 27.5.1992., Universität Karlsruhe (TH)
Arithmetische Ausstattung von Parallelrechnern fuer zuverlaessiges numerisches Rechnen. Dissertation
Davidenkoff, A.
1992. Fak. f. Elektrotechnik, Diss. v. 29.6.1992., Universität Karlsruhe (TH)
Nennerpolynome von Pade- und Pade-Typ- Approximationen an Hamburger-Funktionen. Dissertation
Dehn, T.
1992. Fak. f. Mathematik, Diss. v. 15.7.1992., Universität Karlsruhe (TH)
Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Dissertation
Ratz, D.
1992. Fak. f. Mathematik, Diss. v. 1.7.1992., Universität Karlsruhe (TH). doi:10.5445/IR/41092

1991

Singulaere Vorkonditionierung linearer Gleichungssysteme am Beispiel von Zweigitterverfahren. Dissertation
Klaus, T.
1991. Fak. f. Mathematik, Diss. v. 23.10.1991., Universität Karlsruhe (TH)
Einschliessungsverfahren zur Bewertung von Getriebeschwingungsmodellen. Dissertation
Schulte, U.
1991. Duesseldorf 1991. (Fortschritt-Berichte VDI. Reihe 11, Nr. 146.) Fak. f. Mathematik, Diss. v. 30.1.1991., Universität Karlsruhe (TH)
Parallele Reduktion symmetrischer Bandmatrizen auf Tridiagonalgestalt. Dissertation
Lang, B.
1991. Fak. Mathematik, Diss. v. 15.10.1991., Universität Karlsruhe (TH)
Hardwareentwurf eines Rechenwerkes fuer semimorphe Skalar- und Vektoroperationen unter Beruecksichtigung der Anforderungen verifizierender Algorithmen. Dissertation
Knoefel, A. W.
1991. Fak. f. Mathematik, Diss. v. 18.12.1991., Universität Karlsruhe (TH)

1990

Flexible precision control and dynamic data structures for programming mathematical and numerical algorithms. Dissertation
Walter, W.
1990. Fak. f. Mathematik, Diss. v. 9.2.1990., Universität Karlsruhe (TH)
Algebraische Stabilitaetsbedingungen fuer Runge-Kutta-Verfahren. Dissertation
Mueller, M.
1990. Fak. f. Mathematik, Diss. v. 26.1.1990., Universität Karlsruhe (TH)
Schnelle automatische Differentiation, Einschliessungsmethoden und Anwendungen. Dissertation
Fischer, H.-C.
1990. Fak. f. Mathematik, Diss. v. 16.5.1990., Universität Karlsruhe (TH)
Zur Einschliessung der Loesung von linearen und nichtlinearen Fredholmschen Integralgleichungssystemen zweiter Art. Dissertation
Klein, W.
1990. Fak. f. Mathematik, Diss. v. 9.2.1990., Universität Karlsruhe (TH)

1989

Iterative Loesung gewichteter linearer Ausgleichsprobleme. Dissertation
Hanke, M.
1989. Fak. f. Mathematik, Diss. v. 25.10.1989., Universität Karlsruhe (TH)
Genauigkeitsfragen bei algebraisch-numerischen Algorithmen auf Skalar- und Vektorrechnern. Dissertation
Schumacher, G.
1989. Fak. f. Mathematik, Diss. v. 15.2.1989., Universität Karlsruhe (TH)
Ein adaptives Verfahren zur numerischen Quadratur mit automatischer Ergebnisverifikation. Dissertation
Kelch, R.
1989. Fak. f. Mathematik, Diss. v. 12.7.1989., Universität Karlsruhe (TH)
Rationale Minimierungsprobleme in der komplexen Ebene im Zusammenhang mit der Bestimmung optimaler ADI-Parameter. Dissertation
Starke, G.
1989. Fak. f. Mathematik, Diss. v. 20.12.1989., Universität Karlsruhe (TH)