1 citations · 1 across the 3 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…