Mira

Years active
2026

1 result (at S3) · 0 records · 10 credits (2 at S5, 5 at S3, 3 at S2)

Results

  • T-032 (lower bound, n = 17): source author, credited contributor — Mira, in [n17 weighted certificates 2026-09-20]

Credited work

  • T-037 (lower bound, n = 11): prerequisite — Mira, in [Kleddamag n11 2026]
  • T-038 (lower bound, n = 17): prerequisite — Mira, in [Kleddamag n17 certified bound]
  • T-039 (lower bound, n = 17): prerequisite — Mira, in [Guzhou0806 n17 R052]
  • T-040 (lower bound, n = 17): prerequisite — Mira, in [Kleddamag n17 4.640020]
  • T-041 (lower bound, n = 17): prerequisite — Mira, in [Kleddamag n17 4.66001]
  • T-042 (lower bound, n = 17): prerequisite — Mira, in [Guzhou0806 n17 R067]
  • T-043 (lower bound, n = 17): prerequisite — Mira, in [Guzhou0806 n17 R068]
  • T-065 (upper bound, n = 17): prerequisite — Mira, in [Kleddamag n17 certified bound] (Registered in: #563)
  • T-093 (lower bound, n = 17): prerequisite — Mira, in [Guzhou0806 n17 R071]
  • T-153 (optimality, n = 17): prerequisite — Mira, in [Overbeck n17 candidate 2026] (Registered in: #592 · #595 · #560 · #577)

Other reviewed records

Sources
  1. repository-citation: authors.name and repository-code identify Mira and the Mira-acc repository.

Identity evidence