5 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
Li-An Yang, Jui-Pin Liu, Chao-Hong Chen +1
Mathematical theorems are human knowledge able to be accumulated in the form of symbolic representation, and proving theorems has been considered intelligent behavior. Based on the…