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...
Calculation of the free energy in a simple model
Can cybernetics contribute to the study of computer development?
Carcassonne -- description of the game
This article formalizes some aspects of the board game Carcassonne. Combinatorical problems related to the number of tile types are mentioned. Then the paper describes a game map using graph theory.
Cardinal functions on products
Cardinalities of bases
Cartesian-closed coreflective subcategories of
Cartomagia matemática y cartoteoremas mágicos.
Categorial aspects are useful for topology
Categorial aspects are useful in topology
Categorial methods in topology
Categories of continuous function spaces
Category, Boolean algebras and measure
Cauchy's problem in the large for nonlinear hyperbolic equations and for the Korteweg-de Vries equation
Cayley transform, outer exponential and spinor norm
[CDDE 2000. Proceedings of the colloquium on differential and difference equations, Brno, Czech Republic, September 5-8, 2000]. Preface
CEDRICS: When CEDRAM Meets Tralics
We describe CEDRICS, a general purpose system for automated journal production entirely based on a LaTeX input format. We show how the very basic ideas that initiated the whole effort turned into an efficient system because of the ability of LaTeX markup to parametrise simultaneously and without compromise high typographical quality for the PDF output as well as accurate XML metadata with (presentation) MathML formulas. This was made possible by the availability of two entirely independent LaTeX...
Cells of harmonicity
[For the entire collection see Zbl 0742.00067.]We are interested in partial differential equations on domains in . One of the most natural questions is that of analytic continuation of solutions and domains of holomorphy. Our aim is to describe the domains of holomorphy for solutions of the complex Laplace and Dirac equations. We call them cells of harmonicity. We deduce their properties mostly by examining geometrical properties of the characteristic surface (which is the same for both equations),...