HepLean: digitalising high energy physics

DOI10.1016/J.CPC.2024.109457MaRDI QIDQ6671943zbMATH OpenFDO

Authors Joseph Tooby-Smith

Publication date 27 January 2025

Published in Computer Physics Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.CPC.2024.109457

zbMATH Keywords

high energy physicsleantheorem proving

Mathematics Subject Classification ID

Quantum theory (81-XX) Statistical mechanics, structure of matter (82-XX)

Cites work

• A \(\nu\) supersymmetric anomaly-free atlas
• Geometric general solution to the U(1) anomaly equations
• The Lean theorem prover (system description)

This page was built for publication: HepLean: digitalising high energy physics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6671943)