Discovering mathematics with Magma reducing the abstract to the concrete / - Bosma, Wieb.; Cannon, John, (Algorithms and computation in mathematics,)