Hiroshi Nagamochi

Years active
2005

1 record (at S3) · 1 result (at S3) · 40 credits (1 at S4, 37 at S3, 2 at S2)

Records

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

  • T-007 (lower bound, 321 cases, n = 4 to 324): source author — Nagamochi, in [Nagamochi 2005]

Results

  • T-007 (lower bound, 321 cases, n = 4 to 324): source author — Nagamochi, in [Nagamochi 2005]

Credited work

Credits: 40
  • T-044 (lower bound, 17 cases, n = 26 to 73): prerequisite — Nagamochi, in [wand125 point bounds 2026]
  • T-045 (lower bound, 15 cases, n = 18 to 78): prerequisite — Nagamochi, in [wand125 rectangle bounds 2026]
  • T-046 (lower bound, 48 cases, n = 18 to 95): prerequisite — Nagamochi, in [wand125 rectangle bounds 2026]; [wand125 rectangle bounds 2026-09-28]
  • T-047 (lower bound, 7 cases, n = 11 to 31): prerequisite — Nagamochi, in [Tokoharu density 2026]
  • T-048 (lower bound, n = 50, 51): prerequisite — Nagamochi, in [wand125 point and mixed bounds 2026-09-28]
  • T-054 (simplification, n = 45): prerequisite — Nagamochi, in [wand125 point and mixed bounds 2026-09-28]
  • T-055 (simplification, n = 21): prerequisite — Nagamochi, in [wand125 point and mixed bounds 2026-09-28]
  • T-066 (optimality, n = 59): prerequisite — Nagamochi, in [wand125 exact covers 2026-10-01]
  • T-067 (optimality, n = 77, 78): prerequisite — Nagamochi, in [wand125 exact covers 2026-10-01]
  • T-068 (lower bound, 34 cases, n = 19 to 95): prerequisite — Nagamochi, in [wand125 rectangle bounds 2026-10-01]
  • T-069 (lower bound, 5 cases, n = 37 to 92): prerequisite — Nagamochi, in [wand125 mixed bounds 2026-10-01]
  • T-070 (lower bound, 25 cases, n = 29 to 95): prerequisite — Nagamochi, in [wand125 rectangle bounds 2026-09-28]
  • T-071 (lower bound, n = 84, 85, 86, 87): prerequisite — Nagamochi, in [wand125 mixed bounds 2026-10-02]
  • T-072 (lower bound, n = 76): prerequisite — Nagamochi, in [wand125 mixed bounds n76 2026-10-02]
  • T-073 (lower bound, 6 cases, n = 83 to 105): prerequisite — Nagamochi, in [wand125 linear certificates 2026-10-02]
  • T-074 (lower bound, 31 cases, n = 19 to 95): prerequisite — Nagamochi, in [wand125 rectangle bounds 2026-10-01]
  • T-075 (lower bound, 9 cases, n = 83 to 96): prerequisite — Nagamochi, in [wand125 mixed bounds afternoon 2026-10-02]
  • T-076 (lower bound, n = 82): prerequisite — Nagamochi, in [wand125 linear n82 2026-10-02]
  • T-077 (lower bound, n = 20, 42, 70): prerequisite — Nagamochi, in [wand125 rectangle bounds 2026-10-02]
  • T-080 (lower bound, 5 cases, n = 101 to 105): prerequisite — Nagamochi, in [wand125 linear certificates 2026-10-02]
  • T-082 (lower bound, 22 cases, n = 51 to 96): prerequisite — Nagamochi, in [wand125 mixed bounds 2026-10-03]
  • T-090 (lower bound, 17 cases, n = 42 to 96): prerequisite — Nagamochi, in [wand125 mixed bounds 2026-10-04]
  • T-091 (lower bound, 17 cases, n = 53 to 95): prerequisite — Nagamochi, in [wand125 mixed bounds evening 2026-10-04]
  • T-094 (lower bound, n = 67, 84): prerequisite — Nagamochi, in [wand125 mixed bounds 2026-10-05]
  • T-096 (lower bound, n = 18): prerequisite — Nagamochi, in [wand125 mixed bounds finer net 2026-10-05]
  • T-097 (lower bound, n = 66): prerequisite — Nagamochi, in [wand125 mixed bounds finer net 2026-10-05]
  • T-099 (lower bound, n = 18): prerequisite — Nagamochi, in [wand125 mixed bounds finer net 2026-10-06]
  • T-100 (lower bound, n = 19): prerequisite — Nagamochi, in [wand125 mixed bounds finer net 2026-10-06]
  • T-102 (lower bound, n = 18): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-103 (lower bound, n = 19): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-104 (lower bound, n = 20): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-105 (lower bound, n = 26): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-106 (lower bound, n = 27): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-107 (lower bound, n = 28): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-108 (lower bound, n = 29): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-109 (lower bound, n = 30): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-110 (lower bound, n = 39): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-111 (lower bound, n = 41): prerequisite — Nagamochi, in [wand125 mixed bounds check2 2026-10-06]
  • T-144 (lower bound, 5 cases, n = 122 to 126): prerequisite — Nagamochi, in [wand125 linear n122 2026-10-10] (Registered in: #487)
  • T-179 (lower bound, 5 cases, n = 145 to 149): prerequisite — Nagamochi, in [wand125 linear n145 2026-10-13] (Registered in: #602)

Other reviewed records

Reviewed records: 30
  • n = 23: construction finder — Hiroshi Nagamochi
  • n = 23: lower bound prover — Hiroshi Nagamochi
  • n = 34: construction finder — Hiroshi Nagamochi
  • n = 34: lower bound prover — Hiroshi Nagamochi
  • n = 47: lower bound prover — Hiroshi Nagamochi
  • n = 48: lower bound prover — Hiroshi Nagamochi
  • n = 62: lower bound prover — Hiroshi Nagamochi
  • n = 63: lower bound prover — Hiroshi Nagamochi
  • n = 79: lower bound prover — Hiroshi Nagamochi
  • n = 80: lower bound prover — Hiroshi Nagamochi
  • n = 98: lower bound prover — Hiroshi Nagamochi
  • n = 99: lower bound prover — Hiroshi Nagamochi
  • n = 119: lower bound prover — Hiroshi Nagamochi
  • n = 120: lower bound prover — Hiroshi Nagamochi
  • n = 142: lower bound prover — Hiroshi Nagamochi
  • n = 143: lower bound prover — Hiroshi Nagamochi
  • n = 167: lower bound prover — Hiroshi Nagamochi
  • n = 168: lower bound prover — Hiroshi Nagamochi
  • n = 194: lower bound prover — Hiroshi Nagamochi
  • n = 195: lower bound prover — Hiroshi Nagamochi
  • n = 223: lower bound prover — Hiroshi Nagamochi
  • n = 224: lower bound prover — Hiroshi Nagamochi
  • n = 254: lower bound prover — Hiroshi Nagamochi
  • n = 255: lower bound prover — Hiroshi Nagamochi
  • n = 287: lower bound prover — Hiroshi Nagamochi
  • n = 288: lower bound prover — Hiroshi Nagamochi
  • n = 322: lower bound prover — Hiroshi Nagamochi
  • n = 323: lower bound prover — Hiroshi Nagamochi
  • [wand125 point n61 2026-09-30]: prerequisite — Nagamochi
  • [wand125 record updates 2026-10-04]: prerequisite — Nagamochi
Sources
  1. primary-byline: Paper title and Hiroshi Nagamochi byline in the opening lines.
  2. bibliography: Source author, credit and credited_names fields retain the printed attribution labels.

Identity evidence