DoCon, the Algebraic Domain Constructor. The DoCon computer algebra system implements recently a good-sized piece of commutative algebra. One of the project aims is to test the efficiency of a real-world CA system based on pure functionality and ”lazy” computation. Algebraic category hierarchy is expressed mostly by the Haskell type classes, domains - by class instances. But domains are also described by explicit expressions.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.