Date : 1396-05-03 doi Article type Conference Conference Title The 42nd International Symposium on Symbolic and Algebraic Computation