Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings - Kaliszyk, Cezary; Kaliszyk, Cezary; Brady, Edwin; Brady, Edwin; Kohlhase, Andrea; Kohlhase, Andrea; Sacerdoti Coen, Claudio; Sacerdoti Coen, Claudio (Springer International Publishing : Imprint: Springer, 2019)