Программы ngbasis.sf.net

NGB - это вычислительная алгебра-программа (включает в себя вычислительную некоммутативную основу Groebner). Она написана на C и работает в Linux и будет работать в Windows. Работает самостоятельно или с Mathematica.