Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra. (July 2016) - Nagasaka, Kosaku; Szanto, Agnes; Winkler, Franz