Searching for shortest single axioms for groups of exponent 6

DOI10.1007/S10817-006-9044-ZzbMATH Open1107.68097OpenAlexW2007571685MaRDI QIDQ861707FDOQ861707

Authors: Nick C. Fiala, Keith M. Agre 

Publication date: 30 January 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-006-9044-z

Recommendations

• The shortest single axioms for groups of exponent 4
• A shortest single axiom with neutral element for commutative Moufang loops of exponent 3
• Shortest single axioms with neutral element for groups of exponent 2 and 3.
• Single axioms for odd exponent groups
• Single axioms for groups

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• The shortest single axioms for groups of exponent 4
• Single axioms for odd exponent groups
• Another single law for groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• The semantics of answer literals

Cited In (6)

• All the shortest single axioms for Boolean SQS-skeins.
• Single axioms for groups
• A shortest single axiom with neutral element for commutative Moufang loops of exponent 3
• Single axioms for groups and abelian groups with various operations
• The shortest single axioms for groups of exponent 4
• Shortest single axioms with neutral element for groups of exponent 2 and 3.

Uses Software

• Fermat
• GAP
• Maple
• Octave
• PERL
• OTTER
• Prover9
• Mace4

This page was built for publication: Searching for shortest single axioms for groups of exponent \(6\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861707)