Title of article :
Shortest single axioms for commutative moufang loops of exponent 3
Author/Authors :
Nick C. Fiala، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
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
Journal title :
Discrete Mathematics
