10 citations · 10 across the 1 of their papers we have counts for
1 paper
David Gabai, G. Robert Meyerhoff, Nathaniel Thurston
This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity co…