E-Dissertationen: Suche
Anzeige der Dokumente 1-10 von 24
Centralisers of polynomially growing automorphisms of free groups
(2013-07-31)
The main theorem of this thesis asserts that many centralisers in the automorphism groups Aut(F_n) and Out(F_n) of the free group F_n satisfy finiteness property VF, i.e. these centralisers have a finite index subgroup ...
Rigidity in equivariant stable homotopy theory
(2013-08-07)
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the ...
The Farrell-Jones conjecture for some general linear groups
(2013-07-10)
In this thesis I prove the K- and L-theoretic Farrell-Jones conjecture with coefficients in any additive category for the general linear groups of F(x) for a finite field F. I also show that the general linear groups over ...
Three models of ordinal computability
(2013-05-07)
In this thesis we expand the scope of ordinal computability, i.e., the study of models of computation that are generalized to infinite domains. The discipline sets itself apart from classical work on generalized recursion ...
Energieskalierung, Gebietsverzweigung und SO(2)-Invarianz in einem fest-fest Phasenübergangsproblem
(2013-10-28)
In den frühen 90er Jahren haben Robert Kohn und Stefan Müller ein Modell entwickelt, das Musterbildung in martensitischen Formgedächtnismetallen erklären konnte. In dieser Arbeit wird eine vektorwertige Verallgemeinerung ...
Analytische und p−adische Aspekte von klassischen und Mock-Modulformen
(2013-10-17)
Ausgangsfrage dieser Doktorarbeit war die Gleichverteilung von geschlossenen Geodaetischen im Fundamentalbereich der Modulgruppe in der hyperbolischen Geometrie. Das fuehrt auf das Studium der Eigenfunktionen des ...
Independence in Algebraic Complexity Theory
(2013-12-16)
This thesis examines the concepts of linear and algebraic independence in algebraic complexity theory. Arithmetic circuits, computing multivariate polynomials over a field, form the framework of our complexity considerations. ...
Algebraic Multigrid (AMG) for Saddle Point Systems
(2013-10-11)
We introduce an algebraic multigrid method for the solution of matrices with saddle point structure. Such matrices e.g. arise after discretization of a second order partial differential equation (PDE) subject to linear ...
On the Classification of Cohomology Bott Manifolds
(2013-11-07)
We study cohomology Bott manifolds by means of modified surgery theory. Cohomology Bott manifolds admit a ring isomorphism to the cohomology ring of a Bott manifold which preserves the Pontrjagin and Stiefel-Whitney classes. ...
Proof-checking mathematical texts in controlled natural language
(2013-10-30)
The research conducted for this thesis has been guided by the vision of a computer program that could check the correctness of mathematical proofs written in the language found in mathematical textbooks. Given that reliable ...