physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
physics at very higher energy density, hence small distance:
quantum field theory and particle physics
See the references at particle physics.
See also:
On using the Lean proof assistant for problems in high energy physics:
Last revised on May 16, 2024 at 13:11:16. See the history of this page for a list of all contributions to it.