Computer proofs in group theory

From MaRDI portal

Publication:915498

Jump to:navigation, search

DOI10.1007/BF00244488zbMath0702.68094MaRDI QIDQ915498

Publication date: 1990

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

zbMATH Keywords

homomorphism kernel group theory automated theorem proving Lagrange theorem Boyer- Moore theorem prover

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Axiomatics and elementary properties of groups (20A05)

Related Items

Proving group isomorphism theorems, Theorem proving with group presentations: Examples and questions, An extension of the Boyer-Moore theorem prover to support first-order quantification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:915498&oldid=12879696"