Search for dissertations about: "direct sum decomposition of a ring"

Found 3 swedish dissertations containing the words direct sum decomposition of a ring.

  2. 1. Infinite dimensional holomorphy in the ring of formal power series : partial differential operators

    Author : Henrik Petersson; Andrei Khrennikov; Sean Dineen; Växjö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Infinite dimensional holomorphy; Formal power series; Fourier-Borel transform; Paley-Wiener theorem; Fischer decomposition; Fischer pair; Fock space; Cauchy-Problem; Kergin operator; PDE-preserving; Pseudo-differential operators.; MATHEMATICS; MATEMATIK;

    Abstract : We study holomorphy in the ring of formal power series in an infinite number of variables. Thus we restrict our study to (infinite dimensional) holomorphy on sequence spaces and we show that we obtain a rich theory without requiring any topological structure on the domain space. We make a comprehensive PDO-study for the spaces under consideration. READ MORE

  4. 2. An Encounter with Convolutional Codes over Rings

    Author : Emma Wittenmark; Institutionen för elektro- och informationsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Telekommunikationsteknik; Data- och systemvetenskap; Telecommunication engineering; computer technology; direct sum decomposition of a ring; Systems engineering; minimal trellis; generator matrix properties; code properties; convolutional codes; codes over rings;

    Abstract : Convolutional codes is one possibility when there is a need for error-correcting codes in communication systems. Using convolutional codes over rings is a relatively new approach. READ MORE

  5. 3. Formalizing Refinements and Constructive Algebra in Type Theory

    Author : Anders Mörtberg; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formalization of mathematics; refinements; constructive algebra; type theory; Coq; SSReflect;

    Abstract : The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. READ MORE