DoCon

v 2.11

DoCon is the Algebraic Domain Constructor

DoCon joins the categorial approach to 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.

DoCon joins the categorial approach to 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.

+ Show more

http://www.botik.ru/pub/local/Mechveliani/docon/