Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra. (July 2016)