Algorithms and Computation in Mathematics