Single axioms for groups and abelian groups with various operations
From MaRDI portal
Publication:1312155
DOI10.1007/BF00881862zbMath0794.20002OpenAlexW2044767417WikidataQ114694138 ScholiaQ114694138MaRDI QIDQ1312155
Publication date: 25 August 1994
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00881862
binary operationinversionlengthvariety of groupsnullary operationsunary operationvariety of abelian groupsautomated theorem proving program OTTERFINDERsingle law definitionstype of a law
Software, source code, etc. for problems pertaining to group theory (20-04) Axiomatics and elementary properties of groups (20A05)
Related Items
The shortest single axioms for groups of exponent 4 ⋮ Single identities for ternary Boolean algebras ⋮ Automated reasoning about cubic curves ⋮ The resonance strategy ⋮ Single axioms for odd exponent groups ⋮ OTTER experiments in a system of combinatory logic ⋮ Automatic construction of finite algebras ⋮ Applying SAT solving in classification of finite algebras ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Basis reduction for cryptogroups and orthogroups ⋮ Automatic construction and verification of isotopy invariants ⋮ Automated conjecture making in number theory using HR, Otter and Maple ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ The TPTP problem library ⋮ Problems on the generation of finite models ⋮ The problem of automated theorem finding
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automated discovery of new axiomatizations of the left group and right group calculi
- Single axioms for groups
- Yet another single law for groups
- Problem corner: Proving equivalence of different axiomatizations of free groups
- Another single law for groups
- Ein Beitrag zur Axiomatik der Abelschen Gruppen
