Intelligent Computer Mathematics - Kerber (Springer International Publishing, 2015)