Joost de Winter

Years active
2026

Resources

Repositorysquare-packing

By de Winter

github.com/JoostdeWinter/square-packingExact rational certificates for 227, 229 and 260 squares, replayed and reviewed here (T-196). The house packing at 260 was replaced by T-223 on 21 October; Daniel's regularized views (T-225) now supply the house packings at 227, 229 and 260.

1 result (at S3)

Repositorysquare-packing-211

By de Winter

github.com/JoostdeWinter/square-packing-211A packing of 211 squares in a square of side under 15.

1 result (at S3)

Repositoryjoostdewinter.github.io

By de Winter

github.com/JoostdeWinter/joostdewinter.github.ioNineteen exact rational certificates beyond 324 squares, at 464 and from 509 to 1568 below the integer grid (#666); the eleven at or below 1024 are replayed here as dated rows beyond the case corpus.

0 results

2 results (at S3) · 0 records · 10 credits (1 at S4, 3 at S3, 6 at S2)

Results

  • T-057 (upper bound, n = 211): source author, credited contributor — de Winter, in [de Winter n211 2026-09-16]
  • T-196 (upper bound, n = 227, 229, 260): source author, credited contributor — de Winter, in [de Winter upper bounds 2026-10-17] (Registered in: #704; Supporting: #668)

Credited work

  • T-098 (upper bound, 48 cases, n = 68 to 307): prerequisite — de Winter, in [evand exact optima 2026-10-05]
  • T-101 (upper bound, 77 cases, n = 28 to 300): prerequisite — de Winter, in [evand exact optima 2026-10-05]
  • T-158 (upper bound, n = 175, 232, 264): prerequisite — de Winter, in [Ostashev records 2026-10-12] (Registered in: #598)
  • T-163 (upper bound, n = 211, 241, 273, 307): prerequisite — de Winter, in [Fang excess theorem 2026-10-13] (Registered in: #602)
  • T-175 (upper bound, n = 211, 241, 304): prerequisite — de Winter, in [Ostashev merged bands 2026-10-13] (Registered in: #614 · #602)
  • T-198 (upper bound, n = 229): prerequisite — de Winter, in [Daniel n229 dilation 2026-10-17]
  • T-199 (upper bound, n = 229): prerequisite — de Winter, in [Daniel n229 dilation update 2026-10-18]
  • T-223 (upper bound, n = 204, 260): prerequisite — de Winter, in [Couzo issue 678 2026-10-18] (Registered in: #706; Supporting: #678)
  • T-225 (upper bound, n = 204, 227, 229, 260): prerequisite — de Winter, in [Daniel regularized lists 2026-10-20]
  • T-227 (upper bound, n = 227, 229): prerequisite — de Winter, in [Couzo issue 672 2026-10-17]

Other reviewed records

Sources
  1. source-intake: Retained source and credit evidence for [de Winter n211 2026-09-16], including repository account JoostdeWinter.
  2. bibliography: [de Winter n211 2026-09-16] records the author credit de Winter. credited_names maps Joost de Winter to de Winter.

Identity evidence