Watt, S.M.2022-03-022022-03-022014978-3-319-08433-6978-3-319-08434-3https://publica.fraunhofer.de/handle/publica/157159Intelligent computer mathematics. International conference, CICM 2014