D-modules for Macaulay 2

Thursday, October 26, 2006 - 9:30am - 10:20am
EE/CS 3-180
Anton Leykin (University of Minnesota, Twin Cities)
The package D-modules for Macaulay 2 implements the majority of
the now classical algorithms in the computational D-module theory. Based
on the ability of Macaulay 2 engine to compute Gröbner bases in
the Weyl algebra, the package provides, in particular, tools to work with
holonomic D-modules such as the algorithms for b-functions, localized
modules, restriction, etc. Amongst the applications there are computation
of the local cohomology modules, polynomial and rational solutions, and
A-hypergeometric systems.

(Joint work with Harry Tsai)
MSC Code: