This document is written for readers who want a first impression of the capabilities of OWL. It provides an introduction to OWL by informally describing the features of each of the sublanguages of OWL.
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.
C. Abal-Kassim, and M. Frédéric. Distributed Computing and Applications to Business, Engineering and Science (DCABES), 2014 13th International Symposium on, page 46-50. (November 2014)
J. Alander, G. Moghadampour, and J. Ylinen. Proceedings of the Second Nordic Workshop on Genetic
Algorithms and their Applications (2NWGA), page 215--218. Vaasa (Finland), University of Vaasa, (19.-23.~August 1996)
J. Armstrong. (2008)cite arxiv:0803.1642
Comment: To appear in "Interactions between Representation Theory, Quantum
Field Theory, Category Theory, and Quantum Information Theory" conference
proceedings.