processing...
home
items
gauge theory
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Gauge Theory
References
Analysis in Higher Gauge Theory. John Baez. 2018.
Canonical Gauges in Higher Gauge Theory. Andreas Gastel. 2018.
Modern Physics Formalized in Modal Homotopy Type Theory. Urs Schreiber. 2016.
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. Urs Schreiber, Michael Shulman. 2014.