scientific article; zbMATH DE number 1324436

MaRDI QIDQ4255507zbMATH OpenFDO

Authors Larry Wos, William McCune

Publication date 16 August 1999

zbMATH Keywords

automated reasoningaxiom systemsgroups of odd exponent

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Axiomatics and elementary properties of groups (20A05) Quasivarieties and varieties of groups (20E10) Periodic groups; locally finite groups (20F50) Logic programming (68N17)

Recommendations

• Single axioms for odd exponent groups
• The shortest single axioms for groups of exponent 4
• Searching for shortest single axioms for groups of exponent \(6\)
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups

Cited in

(14)

• The shortest single axioms for groups of exponent 4
• Using the prover ANDP to simplify orthogonality.
• Proofs as schemas and their heuristic use
• Single axioms for odd exponent groups
• Automated reasoning with power maps
• Shortest single axioms with neutral element for groups of exponent 2 and 3.
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
• A method for finding new sets of axioms for classes of semigroups.
• Algebra and automated deduction
• Automated discovery of new axiomatizations of the left group and right group calculi
• Single axioms for groups
• Single axioms for the left group and right group calculi
• Searching for shortest single axioms for groups of exponent \(6\)
• Shortest single axioms for commutative Moufang loops of exponent 3.

This page was built for publication:

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