paper

An Algorithm of Constructing Cohomological Series Solutions of Holonomic Systems

arXiv:math/0309378

Abstract

We present an algorithm to construct a basis of k-th extension group of a D-module M in ring of the formal power series Ext_D^k(M,O).

An Algorithm of Constructing Cohomological Series Solutions of Holonomic Systems · wovepaper