Book:Journal/Journal of Symbolic Computation