Buchumschlag

Formalization of physics index notation in Lean 4

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tooby-Smith, Joseph
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science High Energy Physics - Phenomenology High Energy Physics - Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

HepLean: Digitalising high energy physics
von: Tooby-Smith, Joseph
Veröffentlicht: (2024)

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

Digitalizing Wick's theorem
von: Tooby-Smith, Joseph
Veröffentlicht: (2025)

The Tameness of Quantum Field Theory, Part I -- Amplitudes
von: Douglas, Michael R., et al.
Veröffentlicht: (2022)

Complexity in Tame Quantum Theories
von: Grimm, Thomas W., et al.
Veröffentlicht: (2023)

Formal Theory at ICHEP 2024
von: Schafer-Nameki, Sakura
Veröffentlicht: (2024)

On approximations of Feynman path integrals
von: Hyttinen, Tapani
Veröffentlicht: (2022)

Strong CP Phase and Parity in the Hamiltonian Formalism
von: Kuchimanchi, Ravi
Veröffentlicht: (2025)

2-index chiral gauge theories
von: Anber, Mohamed M., et al.
Veröffentlicht: (2023)

Discontinuity Method for Evaluating Scattering Amplitudes within the Worldline Formalism
von: Guzmán, Victor Miguel Banda
Veröffentlicht: (2025)

Upper bound on the Atiyah-Singer index from tadpole cancellation
von: Ishiguro, Keiya, et al.
Veröffentlicht: (2023)

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

Mass hierarchies in gauge theory with two index symmetric representation matter
von: Alfano, Anja, et al.
Veröffentlicht: (2024)

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

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

Symbolic syzygy-constrained reduction rules for Feynman integrals and the LoopIn framework
von: Smith, Sid
Veröffentlicht: (2026)

Out of the Dark: WISPs in String Theory and the Early Universe
von: Conlon, Joseph P.
Veröffentlicht: (2024)

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

Gauge fixing and physical symmetries
von: van Egmond, Duifje Maria, et al.
Veröffentlicht: (2023)

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

Dark higher-form portals and duality
von: Plantier, Cypris, et al.
Veröffentlicht: (2025)

Feynman Integral Reduction using Syzygy-Constrained Symbolic Reduction Rules
von: Smith, Sid, et al.
Veröffentlicht: (2025)

Tropical Feynman integration in the physical region
von: Borinsky, Michael, et al.
Veröffentlicht: (2023)

Feynman Fox integrals in the physical region
von: Passarino, Giampiero
Veröffentlicht: (2025)

Particle physics: a personal view
von: Senjanović, Goran
Veröffentlicht: (2025)

A comprehensive approach to the physics of mesons
von: Miramontes, Angel. S., et al.
Veröffentlicht: (2025)

Loop-level double-copy for massive fermions in the fundamental
von: Carrasco, John Joseph M., et al.
Veröffentlicht: (2023)

Tunneling with physics-informed RG flows in the anharmonic oscillator
von: Bonanno, Alfio, et al.
Veröffentlicht: (2025)

Reinforcement Learning techniques for the flavor problem in particle physics
von: Giarnetti, A., et al.
Veröffentlicht: (2025)

Pion physics with dressed quark-gluon vertices
von: Ferreira, Mauricio N., et al.
Veröffentlicht: (2025)

Theory-informed neural networks for particle physics
von: Dillon, Barry M., et al.
Veröffentlicht: (2025)

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

CPT, Majorana fermions, and particle physics beyond the Standard Model
von: Hikasa, Ken-ichi
Veröffentlicht: (2024)

On the physical running of the electric charge in a dimensionless theory of gravity
von: Gomes, M., et al.
Veröffentlicht: (2025)

Beyond thresholds: reconstructing UV physics from IR expansions
von: Takaura, Hiromasa, et al.
Veröffentlicht: (2026)

The Equivalence Theorem at work: manifestly gauge-invariant Abelian Higgs model physics
von: Boeykens, Bram, et al.
Veröffentlicht: (2024)

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

Strongly coupled gauge theories towards physics beyond the Standard Model
von: Lee, Jong-Wan
Veröffentlicht: (2024)

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