Christian Dönch

Learn More
This thesis treats different kinds of standard bases in finitely generated modules over the ring of difference-skew-differential operators, their computation and their application to the computation of multivariate dimension (quasi-)polynomials. It consists of two parts. The first deals with standard bases in modules over the ring of(More)
In this paper we present an implementation for computing bivariate dimension polynomials of finitely generated modules over a Weyl algebra in Maple. We recall some basic results in order to explain the notion of dimension polynomials and to introduce methods for their computation based on Gröbner basis techniques. We explain input options for the mentioned(More)
  • 1