Sökning: "direct sum decomposition of a ring"
Hittade 3 avhandlingar innehållade orden direct sum decomposition of a ring.
1. Infinite dimensional holomorphy in the ring of formal power series : partial differential operators
Sammanfattning : 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. LÄS MER
2. An Encounter with Convolutional Codes over Rings
Sammanfattning : 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. LÄS MER
3. Formalizing Refinements and Constructive Algebra in Type Theory
Sammanfattning : 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. LÄS MER