Searching for shortest single axioms for groups of exponent \(6\)

DOI10.1007/S10817-006-9044-ZzbMath1107.68097OpenAlexW2007571685MaRDI QIDQ861707

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• The shortest single axioms for groups of exponent 4
• The semantics of answer literals
• Single axioms for odd exponent groups
• Another single law for groups

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