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.
L. Lee. Approaches to algebra: perspectives for research and teaching, Kluwer Academic Publishers, p 102
… it is much of a challenge to demonstrate that functions, modelling, and problem solving are all types of generalizing activities, that algebra and indeed all of mathematics is about generalizing patterns.
p 103
The history of the science of algebra is the story of the growth of a technique for representing of finite patterns.
The notion of the importance of pattern is as old as civilization. Every art is founded on the study of patterns.
Mathematics is the most powerful technique for the understanding of pattern, and for the analysis of the relationships of patterns.(1996)
T. Ohtsuki. Invariants of knots and 3-manifolds (Kyoto, 2001), volume 4 of Geom. Topol. Monogr., Geom. Topol. Publ., Coventry, With an introduction by J. Roberts.(2002)