4 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Jeffrey Uhlmann, Jie Wang
In this paper we examine the potential of computer-assisted proof methods to be applied much more broadly than commonly recognized. More specifically, we contend that there are vas…