search

HEPLean / HepLean

A project to digitalise results from high energy physics into Lean.
https://heplean.github.io/HepLean/
Apache License 2.0
56 stars 4 forks source link

feat(Feynman diagrams): symmetry factor and connectedness #57

Closed jstoobysmith closed 4 months ago

jstoobysmith commented 4 months ago

Add the symmetry factors and connectedness properties of Feynman diagrams in Phi^4 theory.

jstoobysmith commented 4 months ago

(Still to do - speed up the calculation of symmetry factors, as factorially slow currently)