Computer Solutions of Problems in Inverse Semigroups

DOI10.1080/00927870902911797zbMath1202.20065MaRDI QIDQ3562322

João Araújo, William W. McCune

Publication date: 21 May 2010

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927870902911797

zbMATH Keywords

automated reasoning; equational logic; inverse semigroups; bigroupoids; axiomatization

Mathematics Subject Classification ID

20M07: Varieties and pseudovarieties of semigroups

20M05: Free semigroups, generators and relations, word problems

03B35: Mechanization of proofs and logical operations

20M18: Inverse semigroups

20A05: Axiomatics and elementary properties of groups

Uses Software

• ACL2
• OTTER
• Mace4
• Ivy