Algorithmic mathematics. (2016)