Daniil Ostashev

Years active
2026

Resources

Repositorysquare-packing

By Ostashev

github.com/dostashev/square-packingNew packings of 155, 156, 175, 211, 232 and 264 squares with exact certificates and a GMP checker; all six are replayed here (T-149, T-158).

4 results (at S3)

4 results (at S3) · 0 records · 12 credits (7 at S3, 3 at S2, 2 at S1)

Results

  • T-149 (upper bound, n = 155, 156, 211): source author, credited contributor — Ostashev, in [Ostashev records 2026-10-11] (Registered in: #512 · #516 · #518)
  • T-158 (upper bound, n = 175, 232, 264): source author, credited contributor — Ostashev, in [Ostashev records 2026-10-12] (Registered in: #598)
  • T-162 (upper bound, n = 129, 204, 303): source author, credited contributor — Ostashev, in [Ostashev compositions 2026-10-12] (Registered in: #614 · #602)
  • T-175 (upper bound, n = 211, 241, 304): source author, credited contributor — Ostashev, in [Ostashev merged bands 2026-10-13] (Registered in: #614 · #602)

Credited work

  • T-161 (upper bound, n = 156, 176, 237, 271): prerequisite — Ostashev, in [Couzo certificates 2026-10-12] (Registered in: #614 · #602)
  • T-165 (upper bound, n = 176): prerequisite — Ostashev, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
  • T-172 (upper bound, n = 154): prerequisite — Ostashev, in [Couzo issue-583 certificates 2026-10-13] (Registered in: #614 · #602)
  • T-174 (upper bound, 68 cases, n = 68 to 308): prerequisite — Ostashev, in [PingYou PR 574 certificates 2026-10-13] (Registered in: #614 · #602)
  • T-181 (upper bound, n = 211, 241, 302): prerequisite — Ostashev, 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 — Ostashev, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
  • T-183 (upper bound, n = 237): prerequisite — Ostashev, in [Mishapolk records 2026-10-14] (Registered in: #614 · #602)
  • T-186 (upper bound, 12 cases, n = 129 to 304): prerequisite — Ostashev, in [Mishapolk KKT refinements 2026-10-14]
  • T-188 (upper bound, n = 211): prerequisite — Ostashev, in [Couzo verified bounds 2026-10-14]
  • T-193 (upper bound, 16 cases, n = 88 to 302): prerequisite — Ostashev, in [Daniel exact current records 2026-10-16]
  • T-197 (upper bound, n = 155): prerequisite — Ostashev, in [Daniel n155 explorer 2026-10-17]
  • T-222 (upper bound, n = 154): prerequisite — Ostashev, in [Daniel n154 sweep 2026-10-20]

Other reviewed records

  • n = 129: construction finder — Daniil Ostashev
  • n = 156: construction finder — Daniil Ostashev
  • n = 175: construction finder — Daniil Ostashev
  • n = 176: construction finder — Daniil Ostashev
  • n = 211: construction finder — Daniil Ostashev
  • n = 232: construction finder — Daniil Ostashev
  • n = 241: construction finder — Daniil Ostashev
  • n = 264: construction finder — Daniil Ostashev
  • n = 303: construction finder — Daniil Ostashev
  • n = 304: construction finder — Daniil Ostashev
  • [Daniel compositions 2026-10-13]: prerequisite — Ostashev
Sources
  1. source-intake: Retained source and credit evidence for [Ostashev records 2026-10-11], including repository account dostashev.
  2. bibliography: [Ostashev records 2026-10-11] records the author credit Ostashev. credited_names maps Daniil Ostashev to Ostashev.

Identity evidence