Browsing 2013/1 by Issue Date

Now showing items 1-7 of 7

  • The Baker-Campbell-Hausdorff formula and the Zassenhaus formula in synthetic differential geometry 

    Nishimura, Hirokazu (Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky, 2013)
    After the torch of Anders Kock [6], we will establish the Baker-Campbell- Hausdor formula as well as the Zassenhaus formula in the theory of Lie groups.

  • Topology of the cyclic Čech-Hochschild bicomplex 

    Kubarski, Jan (Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky, 2013)
    We de ne the cyclic Cech-Hochschild bicomplex for a good covering of a smooth manifold and calculate its homology using some nonstandard spectral sequences. The results show that its homology is very rich.

  • Axiomatic differential geometry II-2 - differential forms 

    Nishimura, Hirokazu (Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky, 2013)
    We refurbish our axiomatics of di erential geometry introduced in [5]. Then the notion of Euclideaness can naturally be formulated. The principal ob- jective of this paper is to present an adaptation of our theory of di ...

  • Hidden modalities in algebras with negation and implication 

    Järvinen, Jouni; Kondo, Michiro; Mattila, Jorma K.; Radeleczki, Sándor (Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky, 2013)
    Lukasiewicz 3-valued logic may be seen as a logic with hidden truthfunctional modalities de ned by A := :A ! A and A := :(A ! :A). It is known that axioms (K), (T), (B), (D), (S4), (S5) are provable for these modalities, and ...

  • Some applications of infinitary logical languages in universal algebra 

    Pinus, Aleksandr G. (Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky, 2013)
    Some examples are given of applications of an in nite logical language in universal algebra, in the algebraic geometry of universal algebras, in the theory of implicit operations on algebras, in the Galois theory between ...

  • Some Wolstenholme type congruences 

    Meštrović, Romeo (Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky, 2013)
    In this paper we give an extension and another proof of the following Wolstenholme's type curious congruence established in 2008 by J. Zhao. Let s and l be two positive integers and let p be a prime such that p ls + 3. ...

  • The Kraft sum as a monotone function on the refinement-ordered set of uniquely decipherable codes 

    Foldes, Stephan (Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky, 2013)
    The set of all uniquely decipherable (UD) codes is partially ordered by re nement, meaning that all strings in the cruder code can be represented as con- catenations of strings taken from the ner code. The Kraft sum is a ...