Sarah Hoback
- Formalization of QFT
2026/03/16 by Michael R. Douglas, Sarah Hoback, Anna Mei +1 · 1 voice
Computer Science · Physics and Astronomy · #Algebra over a field #Axiom #Constructive #Constructive proof #Euclidean geometry #Field (mathematics) #Logic, programming, and type systems #Mathematical proof #Noncommutative and Quantum Gravity Theories #Property (philosophy) #Quantum Mechanics and Applications #Quantum field theory #cs.LO #hep-th #math-ph