Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26--31, 2020. Proceedings
scientific article; zbMATH DE number 7290435