Journal of Symbolic Computation
I S S N:0747-7171
出版社:Elsevier BV