Searching for shortest single axioms for groups of exponent 6

DOI10.1007/S10817-006-9044-ZMaRDI QIDQ861707zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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

Cites work

• scientific article; zbMATH DE number 1324436 (Why is no real title available?)
• scientific article; zbMATH DE number 1745890 (Why is no real title available?)
• Another single law for groups
• Single axioms for odd exponent groups
• The semantics of answer literals
• The shortest single axioms for groups of exponent 4

Cited in

(6)

• All the shortest single axioms for Boolean SQS-skeins.
• Single axioms for groups
• Single axioms for groups and abelian groups with various operations
• 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.

Describes a project that uses

Uses Software

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

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)