Text this: Discovering Mathematics with Magma