(rigorous procedure for refereeing, highly competitive) XXI International Symposium on Symbolic and Algebraic Computation (ISSAC)