Joshua Levy

Years active
2026

32 results (5 at S5, 4 at S4, 18 at S3, 3 at S2, 2 at S1) · 11 records (7 at S3, 2 at S2, 2 at S1) · 143 credits (4 at S5, 1 at S4, 104 at S3, 28 at S2, 6 at S1)

Results

Records

Current registered contributions in their recorded family and scope. A result counts once when any of its facets remains current.

  • T-003 (method limit, n = 17, 18): project author — Levy
  • T-005 (correction, n = 13): project author — Levy
  • T-012 (rigidity, n = 5): project author — Levy
  • T-013 (rigidity, n = 40): project author — Levy
  • T-014 (rigidity, n = 5): project author — Levy
  • T-023 (case exclusion, n = 11): project author — Levy
  • T-035 (case exclusion, n = 11): project author — Levy
  • T-036 (restricted optimality, n = 11): project author — Levy
  • T-112 (uniqueness, n = 11): project author — Levy
  • T-155 (upper bound, 59 cases, n = 28 to 300): project author — Levy (Registered in: #511 · #530 · #548 · #549 · #559 · #580 · #585 · #587 · #591)
  • T-156 (upper bound, n = 290): project author — Levy (Registered in: #511 · #530 · #548 · #549 · #559 · #580 · #585 · #587 · #591)

Credited work

Credits: 143
  • T-032 (lower bound, n = 17): prerequisite — Levy, in [n17 weighted certificates 2026-09-20]
  • T-037 (lower bound, n = 11): prerequisite — Levy, in [Kleddamag n11 2026]
  • T-038 (lower bound, n = 17): prerequisite — Levy, in [Kleddamag n17 certified bound]
  • T-039 (lower bound, n = 17): prerequisite — Levy, in [Guzhou0806 n17 R052]
  • T-040 (lower bound, n = 17): prerequisite — Levy, in [Kleddamag n17 4.640020]
  • T-041 (lower bound, n = 17): prerequisite — Levy, in [Kleddamag n17 4.66001]
  • T-042 (lower bound, n = 17): prerequisite — Levy, in [Guzhou0806 n17 R067]
  • T-043 (lower bound, n = 17): prerequisite — Levy, in [Guzhou0806 n17 R068]
  • T-044 (lower bound, 17 cases, n = 26 to 73): prerequisite — Levy, in [wand125 point bounds 2026]
  • T-045 (lower bound, 15 cases, n = 18 to 78): prerequisite — Levy, in [wand125 rectangle bounds 2026]
  • T-046 (lower bound, 48 cases, n = 18 to 95): prerequisite — Levy, in [wand125 rectangle bounds 2026]; [wand125 rectangle bounds 2026-09-28]
  • T-047 (lower bound, 7 cases, n = 11 to 31): prerequisite — Levy, in [Tokoharu density 2026]
  • T-048 (lower bound, n = 50, 51): prerequisite — Levy, in [wand125 point and mixed bounds 2026-09-28]
  • T-054 (simplification, n = 45): prerequisite — Levy, in [wand125 point and mixed bounds 2026-09-28]
  • T-055 (simplification, n = 21): prerequisite — Levy, in [wand125 point and mixed bounds 2026-09-28]
  • T-060 (optimality, n = 11): prerequisite — Levy, in [Ahmed n11 optimality 2026] (Registered in: #246; Supporting: #262)
  • T-061 (lower bound, n = 11): prerequisite — Levy, in [Wang Li n11 2026]
  • T-065 (upper bound, n = 17): prerequisite — Levy, in [Kleddamag n17 certified bound] (Registered in: #563)
  • T-066 (optimality, n = 59): prerequisite — Levy, in [wand125 exact covers 2026-10-01]
  • T-067 (optimality, n = 77, 78): prerequisite — Levy, in [wand125 exact covers 2026-10-01]
  • T-068 (lower bound, 34 cases, n = 19 to 95): prerequisite — Levy, in [wand125 rectangle bounds 2026-10-01]
  • T-069 (lower bound, 5 cases, n = 37 to 92): prerequisite — Levy, in [wand125 mixed bounds 2026-10-01]
  • T-070 (lower bound, 25 cases, n = 29 to 95): prerequisite — Levy, in [wand125 rectangle bounds 2026-09-28]
  • T-071 (lower bound, n = 84, 85, 86, 87): prerequisite — Levy, in [wand125 mixed bounds 2026-10-02]
  • T-072 (lower bound, n = 76): prerequisite — Levy, in [wand125 mixed bounds n76 2026-10-02]
  • T-073 (lower bound, 6 cases, n = 83 to 105): prerequisite — Levy, in [wand125 linear certificates 2026-10-02]
  • T-074 (lower bound, 31 cases, n = 19 to 95): prerequisite — Levy, in [wand125 rectangle bounds 2026-10-01]
  • T-075 (lower bound, 9 cases, n = 83 to 96): prerequisite — Levy, in [wand125 mixed bounds afternoon 2026-10-02]
  • T-076 (lower bound, n = 82): prerequisite — Levy, in [wand125 linear n82 2026-10-02]
  • T-077 (lower bound, n = 20, 42, 70): prerequisite — Levy, in [wand125 rectangle bounds 2026-10-02]
  • T-080 (lower bound, 5 cases, n = 101 to 105): prerequisite — Levy, in [wand125 linear certificates 2026-10-02]
  • T-082 (lower bound, 22 cases, n = 51 to 96): prerequisite — Levy, in [wand125 mixed bounds 2026-10-03]
  • T-090 (lower bound, 17 cases, n = 42 to 96): prerequisite — Levy, in [wand125 mixed bounds 2026-10-04]
  • T-091 (lower bound, 17 cases, n = 53 to 95): prerequisite — Levy, in [wand125 mixed bounds evening 2026-10-04]
  • T-093 (lower bound, n = 17): prerequisite — Levy, in [Guzhou0806 n17 R071]
  • T-094 (lower bound, n = 67, 84): prerequisite — Levy, in [wand125 mixed bounds 2026-10-05]
  • T-095 (lower bound, n = 12): prerequisite — Levy, in [squarepacker s12 2026-10-05]
  • T-096 (lower bound, n = 18): prerequisite — Levy, in [wand125 mixed bounds finer net 2026-10-05]
  • T-097 (lower bound, n = 66): prerequisite — Levy, in [wand125 mixed bounds finer net 2026-10-05]
  • T-098 (upper bound, 48 cases, n = 68 to 307): prerequisite — Levy, in [evand exact optima 2026-10-05]
  • T-099 (lower bound, n = 18): prerequisite — Levy, in [wand125 mixed bounds finer net 2026-10-06]
  • T-100 (lower bound, n = 19): prerequisite — Levy, in [wand125 mixed bounds finer net 2026-10-06]
  • T-101 (upper bound, 77 cases, n = 28 to 300): prerequisite — Levy, in [evand exact optima 2026-10-05]
  • T-102 (lower bound, n = 18): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-103 (lower bound, n = 19): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-104 (lower bound, n = 20): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-105 (lower bound, n = 26): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-106 (lower bound, n = 27): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-107 (lower bound, n = 28): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-108 (lower bound, n = 29): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-109 (lower bound, n = 30): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-110 (lower bound, n = 39): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-111 (lower bound, n = 41): prerequisite — Levy, in [wand125 mixed bounds check2 2026-10-06]
  • T-119 (upper bound, n = 266, 270, 272): prerequisite — Levy, in [Daniel new arrangements 2026-10-07] (Registered in: #441)
  • T-128 (upper bound, 8 cases, n = 105 to 306): prerequisite — Levy, in [Couzo exact refinements 2026-10-08] (Registered in: #487 · #478)
  • T-129 (upper bound, n = 105, 130, 292): prerequisite — Levy, in [Daniel dated certificates 105 and 130 2026-10-07]; [Daniel dated certificate 292 2026-10-07] (Registered in: #487)
  • T-130 (upper bound, 5 cases, n = 84 to 270): prerequisite — Levy, in [Couzo follow-up refinements 2026-10-08] (Registered in: #487)
  • T-131 (upper bound, n = 132): prerequisite — Levy, in [Daniel record hunt 2026-10-09] (Registered in: #487 · #478)
  • T-132 (lower bound, n = 29): prerequisite — Levy, in [wand125 fine-net n29 2026-10-10] (Registered in: #487)
  • T-133 (lower bound, n = 40): prerequisite — Levy, in [Guzhou0806 n40 clipped corner 2026-10-10] (Registered in: #487)
  • T-134 (upper bound, 6 cases, n = 132 to 303): prerequisite — Levy, in [Couzo exact certificates 2026-10-09] (Registered in: #487)
  • T-136 (upper bound, 17 cases, n = 131 to 307): prerequisite — Levy, in [SQUISH third request 2026-10-09] (Registered in: #487)
  • T-137 (upper bound, n = 70): prerequisite — Levy, in [Deleeuw n70 refinement 2026-10-10] (Registered in: #487)
  • T-138 (upper bound, 16 cases, n = 84 to 306): prerequisite — Levy, in [Mishapolk decimal poses 2026-10-09] (Registered in: #487)
  • T-140 (upper bound, 6 cases, n = 132 to 305): prerequisite — Levy, in [Couzo certificates 2026-10-10] (Registered in: #487)
  • T-141 (upper bound, n = 132, 308): prerequisite — Levy, in [Daniel record hunt 3 2026-10-10] (Registered in: #487)
  • T-142 (lower bound, n = 28): prerequisite — Levy, in [wand125 fine-net n28 n30 2026-10-10] (Registered in: #487)
  • T-143 (lower bound, n = 30): prerequisite — Levy, in [wand125 fine-net n28 n30 2026-10-10] (Registered in: #487)
  • T-144 (lower bound, 5 cases, n = 122 to 126): prerequisite — Levy, in [wand125 linear n122 2026-10-10] (Registered in: #487)
  • T-145 (lower bound, n = 40): prerequisite — Levy, in [Guzhou0806 n40 continuous pose 2026-10-10] (Registered in: #487)
  • T-146 (upper bound, 15 cases, n = 70 to 303): prerequisite — Levy, in [Daniel regularized lists 2026-10-10] (Registered in: #487)
  • T-147 (upper bound, n = 207): prerequisite — Levy, in [PingYou n207 certificate 2026-10-11] (Registered in: #558 · #512 · #516 · #518)
  • T-148 (upper bound, n = 153): prerequisite — Levy, in [PingYou n153 certificate 2026-10-11] (Registered in: #558 · #512 · #516 · #518)
  • T-149 (upper bound, n = 155, 156, 211): prerequisite — Levy, in [Ostashev records 2026-10-11] (Registered in: #512 · #516 · #518)
  • T-150 (upper bound, n = 146, 261): prerequisite — Levy, in [Barnett refinements 2026-10-11] (Registered in: #512 · #516 · #518)
  • T-151 (upper bound, 9 cases, n = 176 to 305): prerequisite — Levy, in [SQUISH fourth request 2026-10-11] (Registered in: #553)
  • T-152 (upper bound, n = 304, 305): prerequisite — Levy, in [Couzo certificates 2026-10-11] (Registered in: #553)
  • T-153 (optimality, n = 17): prerequisite — Levy, in [Overbeck n17 candidate 2026] (Registered in: #592 · #595 · #560 · #577)
  • T-154 (formalization, n = 17): prerequisite — Levy, in [Fitzharding n17 Lean 2026] (Registered in: #592 · #595 · #588)
  • T-157 (lower bound, n = 40): prerequisite — Levy, in [Guzhou0806 n40 new supports 2026-10-11] (Registered in: #598)
  • T-158 (upper bound, n = 175, 232, 264): prerequisite — Levy, in [Ostashev records 2026-10-12] (Registered in: #598)
  • T-159 (upper bound, n = 102): prerequisite — Levy, in [Calle n102 2026-10-12] (Registered in: #598)
  • T-160 (upper bound, n = 154): prerequisite — Levy, in [Daniel n154 2026-10-12] (Registered in: #598)
  • T-161 (upper bound, n = 156, 176, 237, 271): prerequisite — Levy, in [Couzo certificates 2026-10-12] (Registered in: #614 · #602)
  • T-162 (upper bound, n = 129, 204, 303): prerequisite — Levy, in [Ostashev compositions 2026-10-12] (Registered in: #614 · #602)
  • T-164 (upper bound, n = 302): prerequisite — Levy, in [PingYou n302 certificate 2026-10-12] (Registered in: #614 · #602)
  • T-165 (upper bound, n = 176): prerequisite — Levy, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
  • T-166 (upper bound, n = 153): prerequisite — Levy, in [PingYou n153 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-167 (upper bound, n = 207): prerequisite — Levy, in [PingYou n207 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-168 (upper bound, n = 146): prerequisite — Levy, in [PingYou n146 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-169 (upper bound, n = 261): prerequisite — Levy, in [PingYou n261 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-170 (upper bound, n = 105): prerequisite — Levy, in [PingYou n105 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-171 (upper bound, n = 272): prerequisite — Levy, in [PingYou n272 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-172 (upper bound, n = 154): prerequisite — Levy, in [Couzo issue-583 certificates 2026-10-13] (Registered in: #614 · #602)
  • T-173 (upper bound, n = 153, 207): prerequisite — Levy, in [Mishapolk exact certificates 2026-10-12] (Registered in: #614 · #602)
  • T-174 (upper bound, 68 cases, n = 68 to 308): prerequisite — Levy, in [PingYou PR 574 certificates 2026-10-13] (Registered in: #614 · #602)
  • T-175 (upper bound, n = 211, 241, 304): prerequisite — Levy, in [Ostashev merged bands 2026-10-13] (Registered in: #614 · #602)
  • T-176 (lower bound, n = 39): prerequisite — Levy, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-177 (lower bound, n = 44): prerequisite — Levy, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-178 (lower bound, n = 37): prerequisite — Levy, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-179 (lower bound, 5 cases, n = 145 to 149): prerequisite — Levy, in [wand125 linear n145 2026-10-13] (Registered in: #602)
  • T-181 (upper bound, n = 211, 241, 302): prerequisite — Levy, in [Couzo certificates 2026-10-13]; [Couzo issue-583 certificates 2026-10-13] (Registered in: #614 · #602)
  • T-182 (upper bound, n = 154, 211, 241): prerequisite — Levy, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
  • T-183 (upper bound, n = 237): prerequisite — Levy, in [Mishapolk records 2026-10-14] (Registered in: #614 · #602)
  • T-185 (upper bound, n = 175): prerequisite — Levy, in [Couzo n175 2026-10-11]
  • T-186 (upper bound, 12 cases, n = 129 to 304): prerequisite — Levy, in [Mishapolk KKT refinements 2026-10-14]
  • T-188 (upper bound, n = 211): prerequisite — Levy, in [Couzo verified bounds 2026-10-14]
  • T-189 (upper bound, n = 237): prerequisite — Levy, in [Couzo certificates 2026-10-14]
  • T-190 (upper bound, n = 237): prerequisite — Levy, in [Couzo n237 2026-10-15]
  • T-192 (lower bound, n = 28): prerequisite — Levy, in [wand125 continuous n28 2026-10-15] (Registered in: #627)
  • T-193 (upper bound, 16 cases, n = 88 to 302): prerequisite — Levy, in [Daniel exact current records 2026-10-16]
  • T-197 (upper bound, n = 155): prerequisite — Levy, in [Daniel n155 explorer 2026-10-17]
  • T-198 (upper bound, n = 229): prerequisite — Levy, in [Daniel n229 dilation 2026-10-17]
  • T-199 (upper bound, n = 229): prerequisite — Levy, in [Daniel n229 dilation update 2026-10-18]
  • T-200 (lower bound, n = 38): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-201 (lower bound, n = 40): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-202 (lower bound, n = 41): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-203 (lower bound, n = 43): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-204 (lower bound, n = 51): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-205 (lower bound, n = 68): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-206 (lower bound, n = 84): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-207 (lower bound, n = 85): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-208 (lower bound, n = 86): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-209 (lower bound, n = 88): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-210 (lower bound, n = 89): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-211 (lower bound, n = 91): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-212 (lower bound, n = 90): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-213 (lower bound, n = 92): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-214 (lower bound, n = 106): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-215 (lower bound, n = 107): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-216 (lower bound, n = 108): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-217 (lower bound, n = 110): prerequisite — Levy, in [wand125 fine-net lower bounds 2026-10-16]
  • T-218 (upper bound, n = 236): prerequisite — Levy, in [Daniel n236 2026-10-16]
  • T-219 (upper bound, n = 271): prerequisite — Levy, in [Daniel n271 2026-10-17]
  • T-221 (upper bound, n = 308): prerequisite — Levy, in [Daniel n308 2026-10-19]
  • T-222 (upper bound, n = 154): prerequisite — Levy, in [Daniel n154 sweep 2026-10-20]
  • T-223 (upper bound, n = 204, 260): prerequisite — Levy, in [Couzo issue 678 2026-10-18] (Registered in: #706; Supporting: #678)
  • T-224 (upper bound, n = 270): prerequisite — Levy, in [Daniel n270 sweep 2026-10-20]
  • T-225 (upper bound, n = 204, 227, 229, 260): prerequisite — Levy, in [Daniel regularized lists 2026-10-20]
  • T-226 (upper bound, n = 204): prerequisite — Levy, in [Couzo issue 670 2026-10-17]
  • T-227 (upper bound, n = 227, 229): prerequisite — Levy, in [Couzo issue 672 2026-10-17]
  • T-228 (upper bound, n = 204): prerequisite — Levy, in [Couzo issue 675 2026-10-18]
  • T-229 (upper bound, n = 105, 204): prerequisite — Levy, in [Mishapolk issue 719 2026-10-22]

Other reviewed records

Related News

Sources
  1. primary-byline: Copyright notices and required attribution name Joshua Levy.
  2. bibliography: Source author, credit and credited_names fields retain the printed attribution labels.
  3. announcement-account: user.name is Joshua Levy, user.screen_name is ojoshe, and user.id_str is 2246453394.
  4. daniel-343-credit: Parallel 2026 work explicitly names Joshua Levy (jlevy), the Squares Project; this source supplies the personal identity behind the new Daniel n343 credit, unlike generic collective-project labels.
  5. daniel-regularized-credit: Parallel 2026 work explicitly names Joshua Levy (jlevy), the Squares Project; this retained source supplies the personal identity behind the T-225 bibliography credit.

Identity evidence