I am working on finitely presented groups with more than 5 generators and relators and I'm so curious: is it possible to determine residually finitness of finitely presented groups with MAGMA or GAP?
Is It possible to determine whether the given finitely presented group is residually finite with MAGMA or GAP?
ALan Kay
- 61
- 1