AXIOMS -- software for the construction and analysis of finite quasigroups, semigroups and related structures This paper presents a new software called AXIOMS which is primarily designed for the construction and analysis of non-associative finite algebraic structures as well as associative systems. This software makes use of a simple algorithm called Characteristic Pattern Analysis based on a simple technique developed by the author in 1990, called the Structure Matrix Method.

Keywords for this software

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