Matches in SemOpenAlex for { <https://semopenalex.org/work/W1940435797> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1940435797 abstract "The Kepler conjecture asserts that the densest arrangement of congruent balls in Euclidean three-space is the face-centered cubic packing, which is the familiar pyramid arrangement used to stack oranges at the market. The problem was finally solved in 1998 by a long computer proof. The Flyspeck project seeks to give a full formal proof of the Kepler conjecture. This is an extended abstract for a talk in the formal proof session of ICMS-2010, which will describe the linear programming aspects of the Flyspeck project." @default.
- W1940435797 created "2016-06-24" @default.
- W1940435797 creator A5055207622 @default.
- W1940435797 date "2010-01-01" @default.
- W1940435797 modified "2023-10-14" @default.
- W1940435797 title "Linear Programs for the Kepler Conjecture" @default.
- W1940435797 cites W2072920688 @default.
- W1940435797 cites W2764276373 @default.
- W1940435797 doi "https://doi.org/10.1007/978-3-642-15582-6_28" @default.
- W1940435797 hasPublicationYear "2010" @default.
- W1940435797 type Work @default.
- W1940435797 sameAs 1940435797 @default.
- W1940435797 citedByCount "6" @default.
- W1940435797 countsByYear W19404357972012 @default.
- W1940435797 countsByYear W19404357972015 @default.
- W1940435797 countsByYear W19404357972019 @default.
- W1940435797 countsByYear W19404357972020 @default.
- W1940435797 countsByYear W19404357972021 @default.
- W1940435797 crossrefType "book-chapter" @default.
- W1940435797 hasAuthorship W1940435797A5055207622 @default.
- W1940435797 hasConcept C108710211 @default.
- W1940435797 hasConcept C111919701 @default.
- W1940435797 hasConcept C114614502 @default.
- W1940435797 hasConcept C150846664 @default.
- W1940435797 hasConcept C186450821 @default.
- W1940435797 hasConcept C199360897 @default.
- W1940435797 hasConcept C207963374 @default.
- W1940435797 hasConcept C2524010 @default.
- W1940435797 hasConcept C2778572836 @default.
- W1940435797 hasConcept C2780990831 @default.
- W1940435797 hasConcept C31972630 @default.
- W1940435797 hasConcept C33923547 @default.
- W1940435797 hasConcept C41008148 @default.
- W1940435797 hasConcept C9395851 @default.
- W1940435797 hasConcept C94461902 @default.
- W1940435797 hasConceptScore W1940435797C108710211 @default.
- W1940435797 hasConceptScore W1940435797C111919701 @default.
- W1940435797 hasConceptScore W1940435797C114614502 @default.
- W1940435797 hasConceptScore W1940435797C150846664 @default.
- W1940435797 hasConceptScore W1940435797C186450821 @default.
- W1940435797 hasConceptScore W1940435797C199360897 @default.
- W1940435797 hasConceptScore W1940435797C207963374 @default.
- W1940435797 hasConceptScore W1940435797C2524010 @default.
- W1940435797 hasConceptScore W1940435797C2778572836 @default.
- W1940435797 hasConceptScore W1940435797C2780990831 @default.
- W1940435797 hasConceptScore W1940435797C31972630 @default.
- W1940435797 hasConceptScore W1940435797C33923547 @default.
- W1940435797 hasConceptScore W1940435797C41008148 @default.
- W1940435797 hasConceptScore W1940435797C9395851 @default.
- W1940435797 hasConceptScore W1940435797C94461902 @default.
- W1940435797 hasLocation W19404357971 @default.
- W1940435797 hasOpenAccess W1940435797 @default.
- W1940435797 hasPrimaryLocation W19404357971 @default.
- W1940435797 hasRelatedWork W1515228883 @default.
- W1940435797 hasRelatedWork W1524804222 @default.
- W1940435797 hasRelatedWork W1525737662 @default.
- W1940435797 hasRelatedWork W1587628431 @default.
- W1940435797 hasRelatedWork W2057087329 @default.
- W1940435797 hasRelatedWork W2091456056 @default.
- W1940435797 hasRelatedWork W2100238579 @default.
- W1940435797 hasRelatedWork W2101614227 @default.
- W1940435797 hasRelatedWork W2122063022 @default.
- W1940435797 hasRelatedWork W2166505334 @default.
- W1940435797 hasRelatedWork W2187711311 @default.
- W1940435797 hasRelatedWork W2261270991 @default.
- W1940435797 hasRelatedWork W2405725819 @default.
- W1940435797 hasRelatedWork W2889439262 @default.
- W1940435797 hasRelatedWork W2929954177 @default.
- W1940435797 hasRelatedWork W2953116407 @default.
- W1940435797 hasRelatedWork W3033253246 @default.
- W1940435797 hasRelatedWork W3099251155 @default.
- W1940435797 hasRelatedWork W3105768380 @default.
- W1940435797 hasRelatedWork W327545094 @default.
- W1940435797 isParatext "false" @default.
- W1940435797 isRetracted "false" @default.
- W1940435797 magId "1940435797" @default.
- W1940435797 workType "book-chapter" @default.