Search for dissertations about: "direct sum decomposition of a ring"
Found 3 swedish dissertations containing the words direct sum decomposition of a ring.
-
1. Infinite dimensional holomorphy in the ring of formal power series : partial differential operators
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
-
2. An Encounter with Convolutional 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
-
3. Formalizing Refinements and Constructive Algebra in Type Theory
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