All Questions

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?

We have a finitely presented, infinite group $\mathsf{B}$, coming from a geometric topology problem (it is the quotient of a braid group for a genus 2 surface). It is generated by elements \begin{...