Walter Stromquist
Walter Stromquist wrote “Packing 10 or 11 Unit Squares in a Square”, published in The Electronic Journal of Combinatorics in 2003.
- Years active
- 2003
0 results · 0 records · 44 credits (2 at S4, 40 at S3, 2 at S2)
Credited work
Credits: 44
- T-010 (lower bound, n = 11): prerequisite — Stromquist
- T-044 (lower bound, 17 cases, n = 26 to 73): prerequisite — Stromquist, in [wand125 point bounds 2026]
- T-045 (lower bound, 15 cases, n = 18 to 78): prerequisite — Stromquist, in [wand125 rectangle bounds 2026]
- T-046 (lower bound, 48 cases, n = 18 to 95): prerequisite — Stromquist, in [wand125 rectangle bounds 2026]; [wand125 rectangle bounds 2026-09-28]
- T-047 (lower bound, 7 cases, n = 11 to 31): prerequisite — Stromquist, in [Tokoharu density 2026]
- T-048 (lower bound, n = 50, 51): prerequisite — Stromquist, in [wand125 point and mixed bounds 2026-09-28]
- T-054 (simplification, n = 45): prerequisite — Stromquist, in [wand125 point and mixed bounds 2026-09-28]
- T-055 (simplification, n = 21): prerequisite — Stromquist, in [wand125 point and mixed bounds 2026-09-28]
- T-066 (optimality, n = 59): prerequisite — Stromquist, in [wand125 exact covers 2026-10-01]
- T-067 (optimality, n = 77, 78): prerequisite — Stromquist, in [wand125 exact covers 2026-10-01]
- T-068 (lower bound, 34 cases, n = 19 to 95): prerequisite — Stromquist, in [wand125 rectangle bounds 2026-10-01]
- T-069 (lower bound, 5 cases, n = 37 to 92): prerequisite — Stromquist, in [wand125 mixed bounds 2026-10-01]
- T-070 (lower bound, 25 cases, n = 29 to 95): prerequisite — Stromquist, in [wand125 rectangle bounds 2026-09-28]
- T-071 (lower bound, n = 84, 85, 86, 87): prerequisite — Stromquist, in [wand125 mixed bounds 2026-10-02]
- T-072 (lower bound, n = 76): prerequisite — Stromquist, in [wand125 mixed bounds n76 2026-10-02]
- T-073 (lower bound, 6 cases, n = 83 to 105): prerequisite — Stromquist, in [wand125 linear certificates 2026-10-02]
- T-074 (lower bound, 31 cases, n = 19 to 95): prerequisite — Stromquist, in [wand125 rectangle bounds 2026-10-01]
- T-075 (lower bound, 9 cases, n = 83 to 96): prerequisite — Stromquist, in [wand125 mixed bounds afternoon 2026-10-02]
- T-076 (lower bound, n = 82): prerequisite — Stromquist, in [wand125 linear n82 2026-10-02]
- T-077 (lower bound, n = 20, 42, 70): prerequisite — Stromquist, in [wand125 rectangle bounds 2026-10-02]
- T-080 (lower bound, 5 cases, n = 101 to 105): prerequisite — Stromquist, in [wand125 linear certificates 2026-10-02]
- T-082 (lower bound, 22 cases, n = 51 to 96): prerequisite — Stromquist, in [wand125 mixed bounds 2026-10-03]
- T-090 (lower bound, 17 cases, n = 42 to 96): prerequisite — Stromquist, in [wand125 mixed bounds 2026-10-04]
- T-091 (lower bound, 17 cases, n = 53 to 95): prerequisite — Stromquist, in [wand125 mixed bounds evening 2026-10-04]
- T-094 (lower bound, n = 67, 84): prerequisite — Stromquist, in [wand125 mixed bounds 2026-10-05]
- T-096 (lower bound, n = 18): prerequisite — Stromquist, in [wand125 mixed bounds finer net 2026-10-05]
- T-097 (lower bound, n = 66): prerequisite — Stromquist, in [wand125 mixed bounds finer net 2026-10-05]
- T-099 (lower bound, n = 18): prerequisite — Stromquist, in [wand125 mixed bounds finer net 2026-10-06]
- T-100 (lower bound, n = 19): prerequisite — Stromquist, in [wand125 mixed bounds finer net 2026-10-06]
- T-102 (lower bound, n = 18): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-103 (lower bound, n = 19): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-104 (lower bound, n = 20): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-105 (lower bound, n = 26): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-106 (lower bound, n = 27): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-107 (lower bound, n = 28): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-108 (lower bound, n = 29): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-109 (lower bound, n = 30): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-110 (lower bound, n = 39): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-111 (lower bound, n = 41): prerequisite — Stromquist, in [wand125 mixed bounds check2 2026-10-06]
- T-133 (lower bound, n = 40): prerequisite — Stromquist, in [Guzhou0806 n40 clipped corner 2026-10-10] (Registered in: #487)
- T-144 (lower bound, 5 cases, n = 122 to 126): prerequisite — Stromquist, in [wand125 linear n122 2026-10-10] (Registered in: #487)
- T-145 (lower bound, n = 40): prerequisite — Stromquist, in [Guzhou0806 n40 continuous pose 2026-10-10] (Registered in: #487)
- T-157 (lower bound, n = 40): prerequisite — Stromquist, in [Guzhou0806 n40 new supports 2026-10-11] (Registered in: #598)
- T-179 (lower bound, 5 cases, n = 145 to 149): prerequisite — Stromquist, in [wand125 linear n145 2026-10-13] (Registered in: #602)
Other reviewed records
- n = 10: lower bound prover — Walter Stromquist
- [Stromquist 2003]: source author — Stromquist
- [wand125 point n61 2026-09-30]: prerequisite — Stromquist
- [wand125 record updates 2026-10-04]: prerequisite — Stromquist
Sources
Biography sources: paper-byline
- paper-byline: Author byline, title, venue and year at the beginning of the paper transcription.
- bibliography: The [Stromquist 2003] entry credits Stromquist in volume 10, article R8.
Identity evidence
- Family name: Stromquist (bibliography)
- Public name: Walter Stromquist (paper-byline)
- Real name: Walter Stromquist (paper-byline)
- Also known as: Stromquist (bibliography)