Pages that link to "Item:Q5747875"
From MaRDI portal
The following pages link to Linear Programs for the Kepler Conjecture (Q5747875):
Displaying 6 items.
- A replication crisis in mathematics? (Q2154145) (← links)
- The Kepler Conjecture (Q3094959) (← links)
- Efficient Formal Verification of Bounds of Linear Programs (Q5200112) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
- Theorem Proving in Higher Order Logics (Q5464666) (← links)
- The O(1)-Kepler problems (Q5505063) (← links)