Books

R.Goebel, J.Trlifaj: Approximations and Endomorphism Algebras of Modules, GEM 41, W. de Gruyter, Berlin-New York 2006. [web]

Papers in journals and proceedings

T.Branson, D.Hong: Spectrum Generating on Twistor Bundle, Proc. Winter School "Geometry and Physics", Srni, 2006, Arch. Math. 42 (2006), 169-183. [pdf]

T.Branson, D.Hong: Translation to bundle operators, SIGMA 3 (2007), 102, 14 p. [ps]

A.Damiano: Algebraic analysis of the Rarita-Schwinger operator in dimension three, Arch. Math. (Brno) 42 (2006), suppl., 197-211. [pdf]

A.Damiano: Syzygies of multi-variable higher spin Dirac operators on $R^3$, Adv. Appl. Cliff. Alg. 17 (2007), no. 3, 343-355. [pdf]

A.Damiano, I.Sabadini, D.Struppa: Computentional methods for constructions of a class of Noetherian operators, Exp.Math., 16 (2007), no. 1, 41-53. [pdf]

J.Bures, A.Damiano, I.Sabadini: Explicit resolution for the complex of several Fueter operators, J. Geom. Phys. 57 (2007), no.3, 765-775. [pdf]

A.Damiano, V.Soucek: Dirac operator in several variables and combinatorial identities, in T.Simons et al. (Eds.): AIP Proceedings, New York, 734-737.

A.Galaev: Holonomy of supermanifolds, preprint. [pdf]

D.V.Alekseevsky, V.Cortés, A.Galaev, T.Leistner: Cones over pseudo-Riemannian manifolds and their holonomy, preprint. [pdf]

A.Galaev, T.Leistner: Holonomy groups of Lorentzian manifolds: classifications, examples, and applications, Recent develompents in pseudo-Riemannian Geometry, ESI Lectures in Mathematics and Physics, EMS Publishing House, to appear.

A.Galaev, T.Leistner: Recent developments in pseudo-Riemannian Geometry, Handbook of Pseudo-Riemannian Geometry, IRMA Lectures in Mathematics and Theoretical Physics, to appear.

M.Kozik: A finite set of functions with an EXPTIME composition problem, preprint. [pdf]

M.Kozik: Varietal membership is 2EXPTIME complete, preprint.

L.Barto, M.Kozik, T. Nivven: The CSP dichotomy holds for digraphs with no sources or sinks (a positive answer to a conjecture of Bang-Jensen and Hell, preprint.

L.Barto, M.Kozik, M.Maroti, R.McKenzie, T. Nivven: Congruene modularity implies cyclic terms (for finite algebras), preprint.

J.Krajícek: Forcing with random variables, Part I., preprint. [ps]

J.Krajicek: Substitutions into propositional tautologies, Information Processing Letters, to app. (preprint March'06). [ps]

A.Skelley: Third order computation and bounded artihmetic, preprint.

J.Krajicek, A.Skelley, N.Thapen: NP search problems in low fragments of bounded arithmetic, J. of Symbolic Logic, 72(2), (2007), pp. 649-672. [ps]

S.Cook, J.Krajicek: Consequences of the Provability of $NP \subseteq P/poly$, J. of Symbolic Logic, 72(4), (2007), pp. 1353-1371. [ps]

J.Krajicek: A proof complexity generator, in: Proc. from the 13th International Congress of Logic, Methodology and Philosophy of Science (Beijing, August 2007), King's College Publications, London, ser. Studies in Logic and the Foundations of Mathematics. Eds. C.Glymour, W.Wang, and D.Westerstahl. To appear (preprint Dec.'07). [pdf]

J.Krajicek: An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams, J. of Symbolic Logic, 73(1), (2008), pp. 227-237. [pdf]

J.Krajicek: Substitutions into propositional tautologies, Information Processing Letters, 101, (2007), pp.163-167. [pdf]

S.Krýsl: Classification of p-homomorphisms between higher symplectic spinors, to appear in Proc. Winter School "Geometry and Physics", Srní. In:  Suppl. di Rend. Circ. Mat. Palermo. [pdf]

T.Everaert, M.Gran, T. Van der Linden: Higher Hopf formulae for homology via Galois Theory, Adv. Math. 217 (2008), 2231-2267. [pdf]

P.Prihoda: Projective modules are determined by their radical factors, J. Pure Appl. Algebra 210 827-835 (2007).

A.Facchini, P.Prihoda: Monogeny dimension relative to a fixed uniform module, J. Pure appl. Algebra, to appear. [pdf].

P.Príhoda: Fair-sized projective modules, preprint. [pdf]

M.Eastwood, P.Somberg, V.Soucek: The uniqueness of the Joseph ideal for the classical groups, preprint. [pdf]

A.R.Gover, P.Somberg, V.Soucek: Yang-Mills detour complexes and conformal geometry, Commun. Math. Phys. 278, 307-327 (2008). [pdf]

D.Stanovský: Subdirectly irreducible non-idempotent left distributive left quasigroups, to appear in Commun. Algebra. [pdf]

A.R.Gover, J.Silhan: The conformal Killing equation on forms -- prolongations and applications, Differential Geometry and its Applications, to appear. [ps]

A.R.Gover, J.Silhan: Conformal operators on forms and detour complexes on Einstein manifolds, preprint. [pdf]

A.R.Gover, J.Silhan: Commuting linear operators and algebraic decompositions, in Proc. Winter School "Geometry and Physics" Srní (2007), to appear in Arch. Math. [pdf]

A.R.Gover, J.Silhan: Commuting linear operators and decompositions; applications to Einstein manifolds, preprint. [pdf]

L. Kolodziejczykem, N.Thapen: The polynomial and linear hierarchies in models where the weak pigeonhole principle fails, preprint. [pdf]

L.Kolodziejczykem, N.Thapen: The polynomial and linear hierarchies in V0, preprint. [pdf]

N.Thapen, A.Skelley: The provably total search problems of bounded arithmetic, preprint. [pdf]

V.Repnitskii, J.Tuma: Intervals in subgroup lattices of countable locally finite groups, accepted to Algebra Universalis. [pdf]

D.Donovan, A.Drapal, J.G.Lefevre: Permutation representation of 3 and 4-homogenous latin bitrades, preprint. [ps]

J.Trlifaj, L.Angeleri, J.Saroch: On the telescope conjecture for module categories, J. Pure Appl. Algebra 212(2008), 297--310. [pdf]

J.Vanzura, R.Walczak: Orbit space of 3-forms in dimension 7, preprint.

Le Hong Van: Universal spaces for manifolds equipped with a closed integral k-form, preprint. [pdf]

Le Hong Van: The existence of closed 3-forms of G_2-type on 7-manifolds, preprint. [pdf]

Le Hong Van, K.Ono: Parameterized Gromov-Witten invariants and topology of symplectomorphism groups, preprint. [pdf]

Le Hong Van: Weak equivalence classes of complex vector bundles, preprint. [pdf]

Le Hong Van: Manifolds admitting stable forms, preprint. [pdf]