Automated reasoning with power maps

DOI10.1007/S10817-019-09524-0MaRDI QIDQ1984793zbMATH OpenOpenAlexFDO

Authors G. I. Moghaddam, R. Padmanabhan, Yang Zhang

Publication date 7 April 2020

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-019-09524-0

zbMATH Keywords

\(n\)-abelian semigroupscancellation lawsfirst-order logicpower mapstorsion-free groups

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Torsion-free groups, finite rank (20K15) General structure theory for semigroups (20M10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Commutativity theorems in groups with power-like maps
• Computer proofs in group theory
• scientific article; zbMATH DE number 1324436
• scientific article; zbMATH DE number 934902
• Automated deduction in ring theory

Cites work

• A Classification Of _n-Abelian Groups
• Abelian Forcing Sets
• Automated deduction in ring theory
• Commutativity theorems for cancellative semigroups
• Factorization of n-Soluble and n-Nilpotent Groups
• scientific article; zbMATH DE number 3302326 (Why is no real title available?)
• scientific article; zbMATH DE number 3419383 (Why is no real title available?)
• Mathematical induction in Otter-lambda
• The Identity (XY)ⁿ = XⁿYⁿ: Does It Buy Commutativity?

Cited in

(2)

• Commutativity theorems in groups with power-like maps
• Power-like maps in n-abelian semigroups

Describes a project that uses

Uses Software

• OTTER
• Prover9

This page was built for publication: Automated reasoning with power maps

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