Source:
International Symposium on Symbolic and Algebraic Computation — ISSAC 2021 ; https://hal.science/hal-03133590 ; International Symposium on Symbolic and Algebraic Computation — ISSAC 2021, Jul
Source:
ISSAC '20: International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-02928709 ; ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020,