20 citations · 104 across the 42 of their papers we have counts for
1 paper · 1 filter
Timothy Trudgian
This paper refines the argument of Lehman by reducing the size of the constants in Turing's method. This improvement is given in Theorem 1 and scope for further improvements is als…