49 citations · 191 across the 12 of their papers we have counts for
1 paper · 1 filter
Russell O'Connor
Large scale real number computation is an essential ingredient in several modern mathematical proofs. Because such lengthy computations cannot be verified by hand, some mathematici…