Open Research Index

Strict Dirichlet Pólya inequality on simply connected planar domains

Quanyu Tang, Zuoqin Wang

Palomar Registrypalomar/PALOMAR-2026-10-09-000003Oct 9, 2026math.SPscore 0

A Lean 4 formalization of the strict Dirichlet Pólya inequality for bounded, open, simply connected planar domains, including the indexed eigenvalue and counting formulations.

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-10-09-000003
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-09-000003/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-10-09-000003/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'