Kan/sm1 is a system for doing algebraic analysis by computer based on computations of Gröbner bases.
It performs computations in the ring of polynomials, the ring of differential operators, (the ring of difference operators and the ring of q-difference operators).
The latest version of Kan/sm1 is obtainable as a part of the OpenXM package.
License: GNU LGPL.
Tags: algebra, analysis, differential algebra, algebraic analysis.
Interface: command line.
Maintainer: Nobuki Takayama.
Sponsors: Kobe University.
Homepage: http://www.math.kobe-u.ac.jp/KAN/.
Documentation: http://www.math.sci.kobe-u.ac.jp/OpenXM/Current/doc/kan96xx/.
Source repository: http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/.
Support: kan@math.kobe-u.ac.jp.