Algorithmic mathematics - Hougardy, Stefan 1967-; Vygen, Jens 1967- (Springer, 2016)