David B. Hulak

Identifiers

No identifiers captured yet.

Papers (5)

1. Formalizing Singer Sidon Constructions and Sidon Set Infrastructure in Lean 4 math.CO · 2026 · author #1
2. Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL cs.LO · 2026 · author #1
3. Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0 cs.LO · 2026 · author #1
4. Exterior-Model Spinors in Split Rank: Exact Levi Images and Square-Determinant Obstructions math.RA · 2026 · author #2
5. Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions cs.LO · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Arthur F. Ramos 5 shared papers
• Ruy J. G. B. de Queiroz 5 shared papers