Suche
Anzeige der Dokumente 1-10 von 31
Dissertation
Eigenschaften chromatischer Polynome
(2015-11-02)
Die Berechnung des 1912 von Birkhoff eingeführten chromatischen Polynoms eines Graphen stellt bekanntlich ein NP-vollständiges Problem dar. Dieses gilt somit erst recht für die Verallgemeinerung des chromatischen Polynoms zum bivariaten chromatischen Polynom nach Dohmen, Pönitz und Tittmann aus dem Jahre 2003. Eine von Averbouch, Godlin und Makowsky 2008 vorgestellte Rekursionsformel verursacht durch wiederholte Anwendung im Allgemeinen einen exponentiellen Rechenaufwand. Daher war das Ziel der vorliegenden Dissertation, ...
Dissertation
Existence and Regularity Results of a Ferroelectric Phase-Field Model
(2019)
In this thesis, we investigate the existence and regularity results of a ferroelectric phase-field model, which is a state-of-the-art model arising in recent years from the engineering area for the ferroelectric study.
Dissertation
Lösungen linearer Polynomgleichungen in Funktionenkörpern und Uniformisierbarkeit von t-Moduln
(2018)
Bei abelschen t-Moduln über Funktionenkörpern, denen der Ring F_q[t] zugrunde liegt, spielt die Frage der Uniformisierbarkeit eine wichtige Rolle. In dieser Arbeit werden t-Moduln betrachtet, die durch
t = τ^2 + A τ+ θ
gegeben sind, wobei τ den q-Frobenius-Endomorphismus bezeichnet, A eine (d x d)-Matrix mit d = 2 ist und θ eine Unbestimmte über F_q ist, die als Skalar (der t entspricht) im Funktionenkörper F_q(( 1/θ )) aufgefasst wird.
Nach einem Satz von Anderson aus der grundlegenden Arbeit “t-motives” (1986) ...
Dissertation
The Navier-Stokes equations with time discretisation and Lagrangian approximation
(2018)
In the present thesis, we combine the Navier-Stokes equations - which correspond to the so-called Eulerian representation of fluid flow - with the Lagrangian description of fluid flow.
Dissertation
Explicit Description Of Isogeny And Isomorphism Classes Of Drinfeld Modules Of Higher Rank Over Finite Fields
(2020)
When jumping from the number fields theory to the function fields theory, one cannot miss the deep analogy between rank 1 Drinfeld modules and the group of root of unity and the analogy between rank 2 Drinfeld modules and elliptic curves. But so far, there is no known structure in number fields theory that is analogous to the Drinfeld modules of higher rank r ≥ 3. In this thesis we investigate the classes of those Drinfeld modules of higher rank r ≥ 3 defined over a finite field L. We describe explicitly the Weil ...
Dissertation
Free Resolutions from Involutive Bases
(2016-11-02)
We show that the theory of involutive bases can be combined with discrete algebraic Morse Theory. For a graded k[x0 ...,xn]-module M, this yields a free resolution G, which in general is not minimal. We see that G is isomorphic to the resolution induced by an involutive basis. It is possible to identify involutive bases inside the resolution G. The shape of G is given by a concrete description. Regarding the differential dG, several rules are established for its computation, which are based on the fact that in the ...
Dissertation
Power Series Representations of Hypergeometric Type and Non-Holonomic Functions in Computer Algebra
(2020-06-10)
A Laurent-Puiseux series
$$ \sum\limits_{n = n_0}^{\infty }{a_n (z - z_0)^{n/k} (a_n \in K, k \in ℕ, n_0 \in ℤ ) } \quad (1) $$
where $ k $ denotes the corresponding Puiseux number and $ K $ an infinite computable field - mostly $ K= ℚ(α_1,\ldots,α_n) $ : a field of rational functions in several variables, is mainly characterized by the general coefficient. We consider the case where an is a term of an m-fold hypergeometric sequence.
That is $ a_{n+m} = r(n) a_n $ for all sufficiently large integers $ n, r(n) $ ...
Dissertation
Automatic computation of continued fraction representations as solutions of explicit differential equations
(2019)
The main focus of this thesis is to present a variation of an algorithm first presented by Maulat and Salvy, with which it is possible to algorithmically guess as well as prove continued fraction expansions of analytical expressions with the help of ordinary differential equations.
Dissertation
Modellbildung in der algebraischen Kryptoanalyse
(2015-04-22)
In der algebraischen Kryptoanalyse werden moderne Kryptosysteme als polynomielle, nichtlineare Gleichungssysteme dargestellt. Das Lösen solcher Gleichungssysteme ist NP-hart. Es gibt also keinen Algorithmus, der in polynomieller Zeit ein beliebiges nichtlineares Gleichungssystem löst. Dennoch kann man aus modernen Kryptosystemen Gleichungssysteme mit viel Struktur generieren. So sind diese Gleichungssysteme bei geeigneter Modellierung quadratisch und dünn besetzt, damit nicht beliebig. Dafür gibt es spezielle ...
Dissertation
Ein Algorithmus zur numerischen Verifikation der äquivarianten Tamagawazahlvermutung für eine Familie von Zahlkörpererweiterungen
(2011-04-07)
Sei $N/K$ eine galoissche Zahlkörpererweiterung mit Galoisgruppe $G$, so dass es in $N$ eine Stelle mit voller
Zerlegungsgruppe gibt. Die vorliegende Arbeit beschäftigt sich mit Algorithmen, die für das gegebene Fallbeispiel $N/K$, die äquivariante Tamagawazahlvermutung
von Burns und Flach für das Paar $(h^0(Spec(N), \mathbb{Z}[G]))$ (numerisch) verifizieren.
Grob gesprochen stellt die äquivariante Tamagawazahlvermutung (im Folgenden ETNC) in diesem Spezialfall einen Zusammenhang her zwischen Werten von
Artinschen ...