Software tools for mathematics, Koper, Slovenia, 2018-09: projects