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