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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Ishii, Hiromi: A purely functional computer algebra system embedded in Haskell (2018)