Automated reasoning with power maps

DOI10.1007/s10817-019-09524-0zbMath1468.03016OpenAlexW2943910961MaRDI QIDQ1984793

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

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

first-order logictorsion-free groupspower mapscancellation laws\(n\)-abelian semigroups

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Mechanization of proofs and logical operations (03B35) Torsion-free groups, finite rank (20K15) Formalization of mathematics in connection with theorem provers (68V20) 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 Ring Theory
• Abelian Forcing Sets
• The Identity (XY)ⁿ = XⁿYⁿ: Does It Buy Commutativity?
• A Classification Of _n-Abelian Groups
• Factorization of n-Soluble and n-Nilpotent Groups

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