Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra. (November 2017)