Project information
Mathematical structures of algebra and geometry
- Project Identification
- MSM 143100009
- Project Period
- 1/1999 - 12/2004
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Research Intents
- MU Faculty or unit
- Faculty of Science
- Keywords
- Algebraic and geometric structure, category, number field, equational logic, quantale, unification, geometric functor, geometric operation, higher order differential geometric structure, parabolic geometry, topological obstruction.
Results
Publications
Total number of publications: 181
2004
-
On von Neumann varieties
Theory and Applications of Categories, year: 2004, volume: 13, edition: 6
-
Reduction theorems for general linear connections
Differential Geometry and its Applications, year: 2004, volume: 20, edition: 2
-
The Bicategory of m-regular Involutive Quantales
International Journal of Theoretical Physics, year: 2004, volume: 43, edition: 7-8
-
Toward a characterization of algebraic exactness
Journal of Algebra, year: 2004, volume: 272 (2004), edition: 2
-
Undecidability of the trace coding problem and some decidable cases
Theoretical Computer Science, year: 2004, volume: 310, edition: 1-3
2003
-
A general point of view to nonholonomic jet bundles
Cahiers de Topologie et Geometrie Differentielle Categoriques, year: 2003, volume: XLIV, edition: 2
-
Addendum to `The geometry of hyperbolic and elliptic CR-manifolds of codimension two'
The Asian Journal of Mathematics, year: 2003, volume: 7, edition: 3
-
Algorithmic computations of Lie algebra cohomologies
Supplemento ai Rendiconti del Circolo Matematico di Palermo,Serie II, year: 2003, volume: 2003, edition: 71
-
Contact elements on fibered manifolds
Czechoslovak Mathematical Journal, year: 2003, volume: 53(128), edition: 4
-
Continuous categories revisited
Theory and Applications of Categories, year: 2003, volume: 11 (2003), edition: 11