Resumen de Algorithmic stratification of for regular algebraic -modules on
Let M be a holonomic -module on . We give an algorithm to stratify such that on all strata X each restriction (derived inverse image) module is a connection. For regular holonomic modules this stratifies the solution complex of sheaves of (higher) holomorphic solutions of M. We also give an algorithm to compute the dimensions of the cohomology modules of the solution complex over all strata.
