Systems

1. kan/sm1
2. kan/k0 (in preparation)

       load["lib/all.k"];;
       DeRham2("x^4+y^5+x*y^4")::
     

3. Maple/OreAlgebra (in preparation)
4. D-modules for Macaulay2
5. Risa/Asir see dp_weyl_gr_main, nd_weyl_gr_main, generic_bfct, bfct, ann
6. nk_mora package on Risa/Asir (in Japanese)
7. Singular (in preparation)

Polyglot

1. Find a b-function for integration: M2 , asir
2. Computing restriction and integration : M2 , asir
3. Computing twisted deRham cohomology group : M2 , asir