Searching for shortest single axioms for groups of exponent 6

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

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)

Cites Work

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

Cited In (2)

• Single axioms for groups
• Single axioms for groups and abelian groups with various operations

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)