1. New refiners for permutation group search. (May 2019) Authors: Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca Journal: Journal of symbolic computation Issue: Volume 92(2019) Page Start: 70 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Polynomial-time proofs that groups are hyperbolic. (May 2021) Authors: Holt, Derek; Linton, Stephen; Neunhöffer, Max; Parker, Richard; Pfeiffer, Markus; Roney-Dougal, Colva M. Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 419 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗