Open Research Index

lennrt/palomar-formalizations

Lennart Rudolph

Palomar Registrypalomar/PALOMAR-2026-08-21-000002Sep 3, 2026math.COscore 0

A kernel-checked certificate for the finite mathematical core of the paper's explicit 16-vertex counterexample. The compared declarations prove cubicity, bipartiteness, connectivity after every deletion of at most two vertices, Hamiltonicity of the displayed cycle, its exact complementary perfect matching, the displayed oriented facial incidence and dual data, Euler's equality, properness and uniqueness up to global permutation of the face coloring, the induced edge-color classes, their unavoidable intersections with the complementary matching, and the instantiated final obstruction. The…

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-08-21-000002
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-21-000002/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-21-000002/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'