The following pages link to (Q4232470):
Displaying 5 items.
- GAP (Q13081) (← links)
- Representing Subgroups of Finitely Presented Groups by Quotient Subgroups (Q2775765) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- Interfacing Coq + SSReflect with GAP (Q5170233) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
