1 citations · 1 across the 1 of their papers we have counts for
1 paper
Yong Feng, Jingzhong Zhang, Xiaolin Qin +1
In some fields such as Mathematics Mechanization, automated reasoning and Trustworthy Computing etc., exact results are needed. Symbolic computations are used to obtain the exact r…