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
2001
-
Racines d'unités cyclotomiques et divisibilité du nombre de classes d'un corps abélien réel
Acta Arithmetica, year: 2001, volume: 96, edition: 3
-
Syntactic characterizations of various classes of locally presentable categories
Journal of Pure and Applied Algebra, year: 2001, volume: 2001, edition: 161
-
The trace coding problem is undecidable (extended abstract)
Automata, Languages and Programming : 28th International Colloquium, ICALP 2001, Proceedings, year: 2001
-
Uncountable orthogonality is a closure property
Buletin of the London Mathematical Society, year: 2001, volume: 33, edition: 2
-
Varieties without minimal generators
Algebra Universalis, year: 2001, volume: 2001, edition: 45
2000
-
Bernstein-Gelfand-Gelfand sequences
International Conference on Lie Groups, Geometric Structures and Differential Equations, year: 2000
-
Equations and Inequalities: Elementary Problems and Theorems in Algebra and Number Theory
Year: 2000, edition: Vyd. 1., number of pages: 355 s.
-
First order invariant differential operators for parabolic geometries
Seminaires & Congres, year: 2000
-
Free partially commutative semigroups in band varieties
Proceedings of 58th Workshop on General Algebra"58. Arbeitstagung Allgemeine Algebra", year: 2000
-
Hermitian kernels, Hilbert $Q$-modules and Ando dilation
Contributions to General Algebra, Proceedings of the 58th Workshop on General Algebra 1999, year: 2000