Autore: Mutsumi Saito

In recent years, new algorithms for dealing with rings of differential operators have been discovered and implemented. A main tool is the theory of Grobner bases, which is reexamined here from the po …