Boundary value problems for systems of nonlinear differential equations
Bounds for eigenvalues of differential equations
Box products
Box products of Baire spaces
BRS-transformations in a finite dimensional setting
Summary: In order to get a mathematical understanding of the BRS-transformation and the Slavnov-Taylor identities, we treat them in a finite dimensional setting. We show that in this setting the BRS-transformation is a vector field on a certain supermanifold. The connection to the BRS-complex will be established. Finally we treat the generating functional and the Slavnov-Taylor identity in this setting.
Building the Czech Digital Mathematics Library upon DSpace system
The paper describes the process of building the Czech Digital Mathematics Library (DML-CZ) upon DSpace System. At first, the DML-CZ will be briefly introduced. Then we will describe DSpace system and its architecture together with Manakin — a system for building user interface above DSpace. The first technical part of the paper will be about mapping DML-CZ structure onto DSpace structures and about our importing tools and the way of managing requested features which are not supported by the default...