Digitalizing Wick's theorem
Not on the map. Why?
Abstract (arXiv)
Wick's theorem is a cornerstone of perturbative quantum field theory. In this paper we announce and discuss the digitalization of Wick's theorem and its proof into the interactive theorem prover Lean 4 as part of the project PhysLean. We do the same for the static and normal-ordered versions of Wick's theorem.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 12 May 2025.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2025: 1.
1 paper.
- 2025Formalized Hopfield Networks and Boltzmann Machinescited by 2
- 2025Formalized Hopfield Networks and Boltzmann Machines8 Dec 2025