scientific article; zbMATH DE number 934902

MaRDI QIDQ4895378zbMATH OpenFDO

Authors Geoff C. Smith

Publication date 25 March 1997

zbMATH Keywords

AXIOMCAYLEYQUOTPIC

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to general algebraic systems (08-04) Software, source code, etc. for problems pertaining to computer science (68-04)

Recommendations

• Computer proofs in group theory
• Some group theoretic examples with completion theorem provers
• scientific article; zbMATH DE number 2019948
• On proofs in finitely presented groups.
• Proving group isomorphism theorems

Cited in

(13)

• Problem corner: Proving equivalence of different axiomatizations of free groups
• QUOTPIC
• Some group theoretic examples with completion theorem provers
• Homogeneous length functions on groups: intertwined computer and human proofs
• Automated reasoning with power maps
• Lattice-ordered groups in deduction
• On proofs in finitely presented groups.
• scientific article; zbMATH DE number 4051903 (Why is no real title available?)
• scientific article; zbMATH DE number 2019948 (Why is no real title available?)
• BEHIND AND BEYOND A THEOREM ON GROUPS RELATED TO TRIVALENT GRAPHS
• Proving group isomorphism theorems
• A formalization of finite group theory
• Computer proofs in group theory

Describes a project that uses

Uses Software

• AXIOM

This page was built for publication:

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