Intelligent Computer Mathematics - Kevin Buzzard, Temur Kutsia (Springer, 2022)