Formalizing Plane Graph Theory -- Towards a Formalized Proof of the Kepler Conjecture (2006)

Cached

Download Links

by Gertrud Josefine Bauer
Citations:3 - 2 self