FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3138481520> ?p ?o ?g. }

• W3138481520 abstract "We provide a tight result for a fundamental problem arising from packing squares into a circular container: The critical density of packing squares into a disk is $delta=frac{8}{5pi}approx 0.509$. This implies that any set of (not necessarily equal) squares of total area $A leq frac{8}{5}$ can always be packed into a disk with radius 1; in contrast, for any $varepsilon>0$ there are sets of squares of total area $frac{8}{5}+varepsilon$ that cannot be packed, even if squares may be rotated. This settles the last (and arguably, most elusive) case of packing circular or square objects into a circular or square container: The critical densities for squares in a square $left(frac{1}{2}right)$, circles in a square $left(frac{pi}{(3+2sqrt{2})}approx 0.539right)$ and circles in a circle $left(frac{1}{2}right)$ have already been established, making use of recursive subdivisions of a square container into pieces bounded by straight lines, or the ability to use recursive arguments based on similarity of objects and container; neither of these approaches can be applied when packing squares into a circular container. Our proof uses a careful manual analysis, complemented by a computer-assisted part that is based on interval arithmetic. Beyond the basic mathematical importance, our result is also useful as a blackbox lemma for the analysis of recursive packing algorithms. At the same time, our approach showcases the power of a general framework for computer-assisted proofs, based on interval arithmetic." @default.
• W3138481520 created "2021-03-29" @default.
• W3138481520 creator A5015542807 @default.
• W3138481520 creator A5049868079 @default.
• W3138481520 creator A5055048082 @default.
• W3138481520 creator A5076288432 @default.
• W3138481520 creator A5080464077 @default.
• W3138481520 creator A5090048794 @default.
• W3138481520 date "2021-03-12" @default.
• W3138481520 modified "2023-09-28" @default.
• W3138481520 title "Packing Squares into a Disk with Optimal Worst-Case Density" @default.
• W3138481520 cites W1539895965 @default.
• W3138481520 cites W1713438669 @default.
• W3138481520 cites W1825294361 @default.
• W3138481520 cites W1892718252 @default.
• W3138481520 cites W1979361827 @default.
• W3138481520 cites W200511831 @default.
• W3138481520 cites W2032392871 @default.
• W3138481520 cites W2094475624 @default.
• W3138481520 cites W2095381673 @default.
• W3138481520 cites W2097665137 @default.
• W3138481520 cites W2116909526 @default.
• W3138481520 cites W2131433460 @default.
• W3138481520 cites W2148360835 @default.
• W3138481520 cites W2159130720 @default.
• W3138481520 cites W2164902489 @default.
• W3138481520 cites W2399594521 @default.
• W3138481520 cites W239990970 @default.
• W3138481520 cites W2568571446 @default.
• W3138481520 cites W2612390739 @default.
• W3138481520 cites W2950870475 @default.
• W3138481520 cites W3037281482 @default.
• W3138481520 cites W3135993307 @default.
• W3138481520 hasPublicationYear "2021" @default.
• W3138481520 type Work @default.
• W3138481520 sameAs 3138481520 @default.
• W3138481520 citedByCount "0" @default.
• W3138481520 crossrefType "posted-content" @default.
• W3138481520 hasAuthorship W3138481520A5015542807 @default.
• W3138481520 hasAuthorship W3138481520A5049868079 @default.
• W3138481520 hasAuthorship W3138481520A5055048082 @default.
• W3138481520 hasAuthorship W3138481520A5076288432 @default.
• W3138481520 hasAuthorship W3138481520A5080464077 @default.
• W3138481520 hasAuthorship W3138481520A5090048794 @default.
• W3138481520 hasConcept C108710211 @default.
• W3138481520 hasConcept C111919701 @default.
• W3138481520 hasConcept C114614502 @default.
• W3138481520 hasConcept C118615104 @default.
• W3138481520 hasConcept C123115066 @default.
• W3138481520 hasConcept C127413603 @default.
• W3138481520 hasConcept C130253271 @default.
• W3138481520 hasConcept C134306372 @default.
• W3138481520 hasConcept C135692309 @default.
• W3138481520 hasConcept C178635117 @default.
• W3138481520 hasConcept C183893376 @default.
• W3138481520 hasConcept C2524010 @default.
• W3138481520 hasConcept C2777894999 @default.
• W3138481520 hasConcept C2781018962 @default.
• W3138481520 hasConcept C33923547 @default.
• W3138481520 hasConcept C34388435 @default.
• W3138481520 hasConcept C38652104 @default.
• W3138481520 hasConcept C41008148 @default.
• W3138481520 hasConcept C78519656 @default.
• W3138481520 hasConceptScore W3138481520C108710211 @default.
• W3138481520 hasConceptScore W3138481520C111919701 @default.
• W3138481520 hasConceptScore W3138481520C114614502 @default.
• W3138481520 hasConceptScore W3138481520C118615104 @default.
• W3138481520 hasConceptScore W3138481520C123115066 @default.
• W3138481520 hasConceptScore W3138481520C127413603 @default.
• W3138481520 hasConceptScore W3138481520C130253271 @default.
• W3138481520 hasConceptScore W3138481520C134306372 @default.
• W3138481520 hasConceptScore W3138481520C135692309 @default.
• W3138481520 hasConceptScore W3138481520C178635117 @default.
• W3138481520 hasConceptScore W3138481520C183893376 @default.
• W3138481520 hasConceptScore W3138481520C2524010 @default.
• W3138481520 hasConceptScore W3138481520C2777894999 @default.
• W3138481520 hasConceptScore W3138481520C2781018962 @default.
• W3138481520 hasConceptScore W3138481520C33923547 @default.
• W3138481520 hasConceptScore W3138481520C34388435 @default.
• W3138481520 hasConceptScore W3138481520C38652104 @default.
• W3138481520 hasConceptScore W3138481520C41008148 @default.
• W3138481520 hasConceptScore W3138481520C78519656 @default.
• W3138481520 hasLocation W31384815201 @default.
• W3138481520 hasOpenAccess W3138481520 @default.
• W3138481520 hasPrimaryLocation W31384815201 @default.
• W3138481520 hasRelatedWork W2000902553 @default.
• W3138481520 hasRelatedWork W2039355562 @default.
• W3138481520 hasRelatedWork W2041237399 @default.
• W3138481520 hasRelatedWork W2131547375 @default.
• W3138481520 hasRelatedWork W2280720710 @default.
• W3138481520 hasRelatedWork W2352712991 @default.
• W3138481520 hasRelatedWork W2470030486 @default.
• W3138481520 hasRelatedWork W2588034099 @default.
• W3138481520 hasRelatedWork W2595429479 @default.
• W3138481520 hasRelatedWork W2737037492 @default.
• W3138481520 hasRelatedWork W2779188873 @default.
• W3138481520 hasRelatedWork W2895117976 @default.
• W3138481520 hasRelatedWork W2905098239 @default.
• W3138481520 hasRelatedWork W2962917430 @default.
• W3138481520 hasRelatedWork W2973464667 @default.

• next