activity
19982003
most citedA computer verification of the Kepler conjecture

19 citations · 36 across the 9 of their papers we have counts for

collaborators
Showing 1998Show all

7 papers · 1 filter