Article ID Journal Published Year Pages File Type
4650559 Discrete Mathematics 2008 5 Pages PDF
Abstract

In this note, we attempt to find all shortest single product axioms for commutative Moufang loops of exponent 3. These investigations were aided by the automated theorem-prover Prover9 and the model-generator Mace4.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Discrete Mathematics and Combinatorics
Preview
Shortest single axioms for commutative moufang loops of exponent 3
Authors
,