Pages that link to "Item:Q5881193"
From MaRDI portal
The following pages link to Proving group isomorphism theorems (Q5881193):
Displaying 4 items.
- Problem corner: Proving equivalence of different axiomatizations of free groups (Q1108815) (← links)
- Development of neural networks for accelerating automated theorem proving: Results for the group theory (Q1390660) (← links)
- Some group theoretic examples with completion theorem provers (Q1815855) (← links)
- (Q5600892) (← links)