Journal of Symbolic Computation, ‎0747-7171

Journal