The main goal of this thesis is to develop computational methods which allow effective computations on Hilbert and Quot schemes. At first we introduce marked bases over modules. They may be considered as a form of Gröbner basis which do not depend on a term order. Instead, one chooses for each generator some term as head module term such that the head module terms generate a prescribed monomial module. We show that the involutive normal form algorithm with respect to Pommaret division will terminate if the ...

Die aus der Hydrodynamik bekannten dreidimensionalen Gleichungen von Oseen stellen ein mathematisches Modell der Strömung von inkompressiblen Flüssigkeiten und Gasen im stationären Gleichgewicht dar. Sie entstehen bei der Linearisierung des konvektiven Termes u · ∇u um einen von Null verschiedenen konstanten Vektor u = u_∞ = (κ, 0, 0), der die Geschwindigkeit der Strömung im Unendlichen repräsentiert. Man erhält damit aus den stationären nichtlinearen Navier-Stokes-Gleichungen die so genannten Oseen-Gleichungen in ...