Kan/sm1 (1991--2003) is a system for computing in the ring of differential operators D (and difference operators, ...) Kan, a computer package for symbolic computations in Weyl algebras.
Keywords for this software
References in zbMATH (referenced in 44 articles )
Showing results 41 to 44 of 44.
- Walther, Uli: Algorithmic computation of de Rham cohomology of complements of complex affine varieties (2000)
- Oaku, Toshinori; Takayama, Nobuki: An algorithm for de Rham cohomology groups of the complement of an affine variety via (D)-module computation (1999)
- Walther, Uli: Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties (1999)
- Saito, Mutsumi; Sturmfels, Bernd; Takayama, Nobuki: Gröbner deformations of regular holonomic systems (1998)