Title of article
Shortest single axioms for commutative moufang loops of exponent 3
Author/Authors
Nick C. Fiala، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
5
From page
3381
To page
3385
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
Steiner triple system , Hall triple system , Commutative Moufang loop of exponent 3 , Single product axiom , Automated reasoning
Journal title
Discrete Mathematics
Serial Year
2008
Journal title
Discrete Mathematics
Record number
946948
Link To Document