Tokoharu

Years active
2026

Resources

Repositorysquare-packing-density-bounds

By Tokoharu

github.com/tokoharu/square-packing-density-boundsRectangle-density lower-bound certificates.

1 result (at S4)

1 result (at S4) · 0 records · 66 credits (62 at S3, 4 at S2)

Results

  • T-047 (lower bound, 7 cases, n = 11 to 31): source author, credited contributor — Tokoharu, in [Tokoharu density 2026]

Credited work

Credits: 66
  • T-045 (lower bound, 15 cases, n = 18 to 78): prerequisite — Tokoharu, in [wand125 rectangle bounds 2026]
  • T-046 (lower bound, 48 cases, n = 18 to 95): prerequisite — Tokoharu, in [wand125 rectangle bounds 2026]; [wand125 rectangle bounds 2026-09-28]
  • T-048 (lower bound, n = 50, 51): prerequisite — Tokoharu, in [wand125 point and mixed bounds 2026-09-28]
  • T-054 (simplification, n = 45): prerequisite — Tokoharu, in [wand125 point and mixed bounds 2026-09-28]
  • T-055 (simplification, n = 21): prerequisite — Tokoharu, in [wand125 point and mixed bounds 2026-09-28]
  • T-058 (method limit, 100 cases, n = 1 to 100): prerequisite — Tokoharu, in [wand125 tools 2026]
  • T-059 (audit, n = 11): prerequisite — Tokoharu, in [wand125 tools 2026]
  • T-068 (lower bound, 34 cases, n = 19 to 95): prerequisite — Tokoharu, in [wand125 rectangle bounds 2026-10-01]
  • T-069 (lower bound, 5 cases, n = 37 to 92): prerequisite — Tokoharu, in [wand125 mixed bounds 2026-10-01]
  • T-070 (lower bound, 25 cases, n = 29 to 95): prerequisite — Tokoharu, in [wand125 rectangle bounds 2026-09-28]
  • T-071 (lower bound, n = 84, 85, 86, 87): prerequisite — Tokoharu, in [wand125 mixed bounds 2026-10-02]
  • T-072 (lower bound, n = 76): prerequisite — Tokoharu, in [wand125 mixed bounds n76 2026-10-02]
  • T-073 (lower bound, 6 cases, n = 83 to 105): prerequisite — Tokoharu, in [wand125 linear certificates 2026-10-02]
  • T-074 (lower bound, 31 cases, n = 19 to 95): prerequisite — Tokoharu, in [wand125 rectangle bounds 2026-10-01]
  • T-075 (lower bound, 9 cases, n = 83 to 96): prerequisite — Tokoharu, in [wand125 mixed bounds afternoon 2026-10-02]
  • T-076 (lower bound, n = 82): prerequisite — Tokoharu, in [wand125 linear n82 2026-10-02]
  • T-077 (lower bound, n = 20, 42, 70): prerequisite — Tokoharu, in [wand125 rectangle bounds 2026-10-02]
  • T-080 (lower bound, 5 cases, n = 101 to 105): prerequisite — Tokoharu, in [wand125 linear certificates 2026-10-02]
  • T-082 (lower bound, 22 cases, n = 51 to 96): prerequisite — Tokoharu, in [wand125 mixed bounds 2026-10-03]
  • T-090 (lower bound, 17 cases, n = 42 to 96): prerequisite — Tokoharu, in [wand125 mixed bounds 2026-10-04]
  • T-091 (lower bound, 17 cases, n = 53 to 95): prerequisite — Tokoharu, in [wand125 mixed bounds evening 2026-10-04]
  • T-094 (lower bound, n = 67, 84): prerequisite — Tokoharu, in [wand125 mixed bounds 2026-10-05]
  • T-096 (lower bound, n = 18): prerequisite — Tokoharu, in [wand125 mixed bounds finer net 2026-10-05]
  • T-097 (lower bound, n = 66): prerequisite — Tokoharu, in [wand125 mixed bounds finer net 2026-10-05]
  • T-099 (lower bound, n = 18): prerequisite — Tokoharu, in [wand125 mixed bounds finer net 2026-10-06]
  • T-100 (lower bound, n = 19): prerequisite — Tokoharu, in [wand125 mixed bounds finer net 2026-10-06]
  • T-102 (lower bound, n = 18): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-103 (lower bound, n = 19): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-104 (lower bound, n = 20): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-105 (lower bound, n = 26): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-106 (lower bound, n = 27): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-107 (lower bound, n = 28): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-108 (lower bound, n = 29): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-109 (lower bound, n = 30): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-110 (lower bound, n = 39): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-111 (lower bound, n = 41): prerequisite — Tokoharu, in [wand125 mixed bounds check2 2026-10-06]
  • T-132 (lower bound, n = 29): prerequisite — Tokoharu, in [wand125 fine-net n29 2026-10-10] (Registered in: #487)
  • T-133 (lower bound, n = 40): prerequisite — Tokoharu, in [Guzhou0806 n40 clipped corner 2026-10-10] (Registered in: #487)
  • T-142 (lower bound, n = 28): prerequisite — Tokoharu, in [wand125 fine-net n28 n30 2026-10-10] (Registered in: #487)
  • T-143 (lower bound, n = 30): prerequisite — Tokoharu, in [wand125 fine-net n28 n30 2026-10-10] (Registered in: #487)
  • T-144 (lower bound, 5 cases, n = 122 to 126): prerequisite — Tokoharu, in [wand125 linear n122 2026-10-10] (Registered in: #487)
  • T-145 (lower bound, n = 40): prerequisite — Tokoharu, in [Guzhou0806 n40 continuous pose 2026-10-10] (Registered in: #487)
  • T-157 (lower bound, n = 40): prerequisite — Tokoharu, in [Guzhou0806 n40 new supports 2026-10-11] (Registered in: #598)
  • T-176 (lower bound, n = 39): prerequisite — Tokoharu, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-177 (lower bound, n = 44): prerequisite — Tokoharu, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-178 (lower bound, n = 37): prerequisite — Tokoharu, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-179 (lower bound, 5 cases, n = 145 to 149): prerequisite — Tokoharu, in [wand125 linear n145 2026-10-13] (Registered in: #602)
  • T-192 (lower bound, n = 28): prerequisite — Tokoharu, in [wand125 continuous n28 2026-10-15] (Registered in: #627)
  • T-200 (lower bound, n = 38): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-201 (lower bound, n = 40): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-202 (lower bound, n = 41): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-203 (lower bound, n = 43): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-204 (lower bound, n = 51): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-205 (lower bound, n = 68): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-206 (lower bound, n = 84): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-207 (lower bound, n = 85): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-208 (lower bound, n = 86): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-209 (lower bound, n = 88): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-210 (lower bound, n = 89): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-211 (lower bound, n = 91): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-212 (lower bound, n = 90): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-213 (lower bound, n = 92): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-214 (lower bound, n = 106): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-215 (lower bound, n = 107): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-216 (lower bound, n = 108): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]
  • T-217 (lower bound, n = 110): prerequisite — Tokoharu, in [wand125 fine-net lower bounds 2026-10-16]

Other reviewed records

Related News

Sources
  1. primary-byline: Copyright (c) 2026 tokoharu; bibliography uses Tokoharu.
  2. bibliography: Source author, credit and credited_names fields retain the printed attribution labels.

Identity evidence