Discovering Mathematics with Magma