[[OpenXM]] - http://www.math.kobe-u.ac.jp/KAN/index.html - Kan/sm1 (1991--2010) is a system for computing in the ring of differential operators D (and difference operators, ...). [[:included in knxm:]]