Algorithmic Mathematics - Hougardy, Stefan; Vygen, Jens (Springer International Publishing : Imprint: Springer, 2016)