Kevin Fang

Years active
2026

Resources

Repositorysquarepack-certs

By Fang

github.com/TheSnakeFang/squarepack-certsTwo-wedge packings of 308, 343 and 344 squares with exact certificates; the 308, below the grid, is replayed here (T-135).

2 results (1 at S4, 1 at S3) · Review pending

2 results (1 at S4, 1 at S3) · Review pending · 11 credits (9 at S3, 1 at S2, 1 at S1)

Results

  • T-135 (upper bound, n = 308): source author, credited contributor — Fang, in [Fang two-wedge certificates 2026-10-10] (Registered in: #487)
  • T-163 (upper bound, n = 211, 241, 273, 307): source author, credited contributor — Fang, in [Fang excess theorem 2026-10-13] (Registered in: #602)

Records

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

Facet comparisons awaiting review:

  • T-163: The deficiency_upper_bounds theorem scope survives its finite case projection; current family comparison is unassessed (think-kqi1): Integer sides approached from below, k >= 15.

Credited work

  • T-141 (upper bound, n = 132, 308): prerequisite — Fang, in [Daniel record hunt 3 2026-10-10] (Registered in: #487)
  • T-152 (upper bound, n = 304, 305): prerequisite — Fang, in [Couzo certificates 2026-10-11] (Registered in: #553)
  • T-161 (upper bound, n = 156, 176, 237, 271): prerequisite — Fang, in [Couzo certificates 2026-10-12] (Registered in: #614 · #602)
  • T-165 (upper bound, n = 176): prerequisite — Fang, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
  • T-172 (upper bound, n = 154): prerequisite — Fang, in [Couzo issue-583 certificates 2026-10-13] (Registered in: #614 · #602)
  • T-174 (upper bound, 68 cases, n = 68 to 308): prerequisite — Fang, in [PingYou PR 574 certificates 2026-10-13] (Registered in: #614 · #602)
  • T-181 (upper bound, n = 211, 241, 302): prerequisite — Fang, 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 — Fang, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
  • T-183 (upper bound, n = 237): prerequisite — Fang, in [Mishapolk records 2026-10-14] (Registered in: #614 · #602)
  • T-189 (upper bound, n = 237): prerequisite — Fang, in [Couzo certificates 2026-10-14]
  • T-223 (upper bound, n = 204, 260): prerequisite — Fang, in [Couzo issue 678 2026-10-18] (Registered in: #706; Supporting: #678)

Other reviewed records

Sources
  1. source-intake: Retained source and credit evidence for [Fang two-wedge certificates 2026-10-10], including repository account TheSnakeFang.
  2. bibliography: [Fang two-wedge certificates 2026-10-10] records the author credit Fang. credited_names maps Kevin Fang to Fang.

Identity evidence