← back to authors

Michael R. Douglas

🔕 sledovat

1 papers · first: 2026-07-07 · last: 2026-07-07

1
Papers
0.0
Max score
0.0
Avg score
Max AD (0 relevant)

📄 Papers

Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean
9.0
⭐⭐

hep-th · 2026-07-07

Tento článek navrhuje využití interaktivních nástrojů pro ověřování teorémů (Lean 4) k formalizaci a strojové kontrole jinak nerigorózních fyzikálních argumentů, konkrétně Seiberg-Wittenova řešení pro N=2 SU(2) super-Yang-Mills teorii. Metoda spočívá