Algorithms and computation in mathematics