14 citations · 16 across the 9 of their papers we have counts for
5 papers · 1 filter
Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean
Michael R. Douglas
Mathematicians have embraced interactive theorem provers with growing enthusiasm -- building large shared libraries and machine-checking a string of landmark results. Theoretical p…
Formalization of QFT
Michael R. Douglas, Sarah Hoback, Anna Mei +1
A foundational result in constructive quantum field theory is the construction of the free bosonic quantum field theory in four-dimensional Euclidean spacetime and the proof that i…
Compactification of Superstring Theory
Michael R. Douglas, Liam McAllister
We give a mathematical perspective on string compactifications. Submitted as a chapter in the Encyclopedia of Mathematical Physics.
Compactification of superstring theory
Michael R. Douglas
This article will appear in the Encyclopedia of Mathematical Physics (Elsevier, 2006) and follows its referencing guidelines.
Conformal Field Theory Techniques in Large N Yang-Mills Theory
Michael R. Douglas
Following some motivating comments on large N two-dimensional Yang-Mills theory, we discuss techniques for large N group representation theory, using quantum mechanics on the group…