This is a description of the system ILF developed at the Humboldt-University at Berlin. ILF is a system that integrates automated theorem provers, proof tactics for interactive deductive systems and models within a graphical ...

New stability results are proved for linear index-2 differential algebraic equations (DAE). They are obtained by means of an improved projector decoupling. On the background of logarithmic norms related to invariant ...

We define Picard-Einstein metrics on complex algebraic surfaces as Kähler-Einstein metrics with negative constant sectional curvature pushed down from the unit ball via Picard modular groups allowing degenerations along ...

The Modified Nodal Analysis leads to differential algebraic equations with properly stated leading terms. In this article a special structure of the DAEs modelling electrical circuits is exploited in order to derive a new ...

In previous work we designed an efficient procedure that finds an algebraic sample point for each connected component of a smooth real complete intersection variety. This procedure exploits geometric properties of generic ...

In this paper linear elliptic boundary value problems of second order with non-smooth data (L∞-coefficients, Lipschitz domain, mixed boundary conditions) are considered. It is shown that the weak solutions are Hölder ...

Let $K/\Q$ be a finite Galois extension, let $\chi$ be a character of the Galois group $G=\Gal(K/\Q)$ which does not contain the principal character, let $L_{ur}(s,\chi,K/\Q)$ be the unramified part of the corresponding ...

We deal with linear multi-step methods for SDEs and study when the numerical appro\-xi\-mation shares asymptotic properties in the mean-square sense of the exact solution. As in deterministic numerical analysis we use a ...