Algorithmische Mathematik. (2015)