Cover Image

Formalization of physics index notation in Lean 4

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Tooby-Smith, Joseph
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science High Energy Physics - Phenomenology High Energy Physics - Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
by: Tooby-Smith, Joseph
Published: (2026)

HepLean: Digitalising high energy physics
by: Tooby-Smith, Joseph
Published: (2024)

Physics as Code: From Scans to Theorems with ITP APIs in $SU(5)$ Model Building
by: Krippendorf, Sven, et al.
Published: (2026)

Digitalizing Wick's theorem
by: Tooby-Smith, Joseph
Published: (2025)

The Tameness of Quantum Field Theory, Part I -- Amplitudes
by: Douglas, Michael R., et al.
Published: (2022)

Complexity in Tame Quantum Theories
by: Grimm, Thomas W., et al.
Published: (2023)

Formal Theory at ICHEP 2024
by: Schafer-Nameki, Sakura
Published: (2024)

On approximations of Feynman path integrals
by: Hyttinen, Tapani
Published: (2022)

Strong CP Phase and Parity in the Hamiltonian Formalism
by: Kuchimanchi, Ravi
Published: (2025)

2-index chiral gauge theories
by: Anber, Mohamed M., et al.
Published: (2023)

Discontinuity Method for Evaluating Scattering Amplitudes within the Worldline Formalism
by: Guzmán, Victor Miguel Banda
Published: (2025)

Upper bound on the Atiyah-Singer index from tadpole cancellation
by: Ishiguro, Keiya, et al.
Published: (2023)

Massive Helicity-Chirality Spinor Formalism from Massless Amplitudes with On-shell Mass Insertion
by: Ni, Yu-Han, et al.
Published: (2025)

Mass hierarchies in gauge theory with two index symmetric representation matter
by: Alfano, Anja, et al.
Published: (2024)

Cancellation of Infrared Divergences in $e^{+}e^{-}\rightarrow q\bar{q}g$ in Light Front Coherent State Formalism
by: Bhamre, Deepesh, et al.
Published: (2024)

Study of the Emergence of a Gluon Mass Scale from Center Vortices Using a Wave-Functional Formalism
by: Junior, David R., et al.
Published: (2025)

Symbolic syzygy-constrained reduction rules for Feynman integrals and the LoopIn framework
by: Smith, Sid
Published: (2026)

Out of the Dark: WISPs in String Theory and the Early Universe
by: Conlon, Joseph P.
Published: (2024)

Two-index SU(N) theories: QCD, Orientifolds, Super Yang-Mills, Lattice and Steven Weinberg's $ππ$ scattering legacy
by: Sannino, Francesco
Published: (2024)

Gauge fixing and physical symmetries
by: van Egmond, Duifje Maria, et al.
Published: (2023)

Feynman Integral Reductions by Intersection Theory with Orthogonal Bases and Closed Formulae
by: Crisanti, Giulio, et al.
Published: (2024)

Dark higher-form portals and duality
by: Plantier, Cypris, et al.
Published: (2025)

Feynman Integral Reduction using Syzygy-Constrained Symbolic Reduction Rules
by: Smith, Sid, et al.
Published: (2025)

Tropical Feynman integration in the physical region
by: Borinsky, Michael, et al.
Published: (2023)

Feynman Fox integrals in the physical region
by: Passarino, Giampiero
Published: (2025)

Particle physics: a personal view
by: Senjanović, Goran
Published: (2025)

A comprehensive approach to the physics of mesons
by: Miramontes, Angel. S., et al.
Published: (2025)

Loop-level double-copy for massive fermions in the fundamental
by: Carrasco, John Joseph M., et al.
Published: (2023)

Tunneling with physics-informed RG flows in the anharmonic oscillator
by: Bonanno, Alfio, et al.
Published: (2025)

Reinforcement Learning techniques for the flavor problem in particle physics
by: Giarnetti, A., et al.
Published: (2025)

Pion physics with dressed quark-gluon vertices
by: Ferreira, Mauricio N., et al.
Published: (2025)

Theory-informed neural networks for particle physics
by: Dillon, Barry M., et al.
Published: (2025)

Revisiting the Longitudinal Development of Electromagnetic Air Showers: Analytical Improvements to the Greisen Formalism with Zenith Angle Dependence
by: Mendizabal, Sebastián, et al.
Published: (2025)

CPT, Majorana fermions, and particle physics beyond the Standard Model
by: Hikasa, Ken-ichi
Published: (2024)

On the physical running of the electric charge in a dimensionless theory of gravity
by: Gomes, M., et al.
Published: (2025)

Beyond thresholds: reconstructing UV physics from IR expansions
by: Takaura, Hiromasa, et al.
Published: (2026)

The Equivalence Theorem at work: manifestly gauge-invariant Abelian Higgs model physics
by: Boeykens, Bram, et al.
Published: (2024)

Disentangling new physics with quantum entanglement in $t\bar{t}$ production at future lepton colliders
by: Arai, Masato, et al.
Published: (2026)

Strongly coupled gauge theories towards physics beyond the Standard Model
by: Lee, Jong-Wan
Published: (2024)

The next-to-leading order Higgs impact factor at physical top mass: The real corrections
by: Celiberto, Francesco Giovanni, et al.
Published: (2024)