flyspeck/kepler98 flyspeck/kepler98

  • Stars
    star
    3
  • Rank 3,868,183 (Top 78 %)
  • Language
    C++
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
flyspeck/kepler98
github

flyspeck

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The 1998 proof of the Kepler Conjecture by Sam Ferguson and Tom Hales (original code).

More Repositories

1

flyspeck

The formal proof of the Kepler conjecture
OCaml
136
star
2

publications-of-thomas-hales

Automatically exported from code.google.com/p/mathematical-papers
TeX
4
star