Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings - Benzmüller; Miller, Bruce (Springer International Publishing, 2020)