physicslib4
☰
Tutorial
Reference manual
Blueprint
API docs
Tutorial
Reference manual
Blueprint
API docs
GitHub
Cross-Reference Redirection
Table of Contents
1.
The GNS construction
2.
Bounded spectral theory
3.
Unbounded operators and their spectral theorem
4.
Stone's theorem
5.
Spacetime and geometry
6.
The Haag–Kastler axioms in Minkowski spacetime
7.
The axioms in curved spacetime and general covariance
8.
Conventions and design decisions
9.
Appendix: what the library does not prove
Source Code