ISSAC 2021 - International Symposium on Symbolic and