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