4 citations · 7 across the 11 of their papers we have counts for
1 paper · 1 filter
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…