DoCon is a program for symbolic computation in mathematics - package of modules DoCon joins the categorial approach to the mathematical computation expressed via the Haskell type classes, and explicit processing of the domain description terms. It implements recently a good piece of commutative algebra: linear algebra, polynomial gcd, factorization, Groebner bases, and other functions. They are programmed under the very generic assumptions , like "over any Euclidean ring", over any GCD-ring, any field, and so on. DoCon also supports the constructions on domains: Fraction, Polynomial, Residue ring, and others. That is certain set of operations on a constructed domain is built automatically.
Sage is a free, open-source mathematics software system licensed under the GPL. It combines the power of many existing open-source packages into a common, Python-based interface. The project goal is to create a viable free, open source alternative to Magma, Maple, Mathematica and Matlab.
R. Movassagh. (2019)cite arxiv:1909.06210Comment: 18 pages + Acknowledgements and references. 3 Figures. arXiv admin note: text overlap with arXiv:1810.04681.