The following pages link to (Q4549245):
Displaying 10 items.
- Theory and application of width bounded geometric separators (Q632801) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- From Kepler to Hales, and back to Hilbert (Q1946041) (← links)
- On the quantum attacks against schemes relying on the hardness of finding a short generator of an ideal in \(\mathbb{Q}(\zeta_{2^s})\) (Q2009413) (← links)
- Study of the Kepler's conjecture: the problem of the closest packing (Q2430657) (← links)
- Cannonballs and honeycombs. (Q2756729) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
- Theorem Proving in Higher Order Logics (Q5464666) (← links)
- Maximum spread of graphs and bipartite graphs (Q6052388) (← links)
