Commutativity Theorems in Groups with Power-like Maps

DOI10.6092/issn.1972-5787/8751zbMath1451.03017OpenAlexW2915428283MaRDI QIDQ5195291

Yang Zhang, R. Padmanabhan

Publication date: 18 September 2019

Full work available at URL: https://doaj.org/article/bbeef9bafdfa4a7c9be4c67170a4b612

zbMATH Keywords

groupsProver9power-like maps

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Axiomatics and elementary properties of groups (20A05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• OTTER
• Prover9

Cites Work

• Unnamed Item
• Unnamed Item
• Mathematical induction in Otter-lambda
• Commutativity theorems for cancellative semigroups
• Automated deduction in equational logic and cubic curves
• Commutativity theorems for groups and semigroups
• Some Semigroup Laws in Groups
• A Commutattvity Theorem for Rings and Groups

This page was built for publication: Commutativity Theorems in Groups with Power-like Maps