Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Journal