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 the status of high energy physics as per 2020:
On using the Lean proof assistant for problems in high energy physics:
Last revised on March 21, 2025 at 15:26:43. See the history of this page for a list of all contributions to it.