Copertina

HepLean: Digitalising high energy physics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Tooby-Smith, Joseph
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	High Energy Physics - Phenomenology Logic in Computer Science High Energy Physics - Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formalization of physics index notation in Lean 4
di: Tooby-Smith, Joseph
Pubblicazione: (2024)

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

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

Digitalizing Wick's theorem
di: Tooby-Smith, Joseph
Pubblicazione: (2025)

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

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

Semihard interactions at high energies
di: Iser, T. V., et al.
Pubblicazione: (2025)

Low energy limit from high energy expansion in mass gapped theory
di: Takaura, Hiromasa
Pubblicazione: (2024)

Krylov complexity and gluon cascades in the high energy limit
di: Caputa, Pawel, et al.
Pubblicazione: (2024)

Massive Feynman integrals at high energies: recent analytic results
di: Zhang, Hantian
Pubblicazione: (2025)

Investigating the universality of five-point QCD scattering amplitudes at high energy
di: Buccioni, Federico, et al.
Pubblicazione: (2024)

Entropy from entangled parton states and high-energy scattering behavior
di: Dosch, Hans Gunter, et al.
Pubblicazione: (2023)

Entropy, purity and gluon cascades at high energies with recombinations and transitions to vacuum
di: Kutak, Krzysztof, et al.
Pubblicazione: (2025)

Know your footprint -- Evaluation of the professional carbon footprint for individual researchers in high energy physics and related fields
di: Lang, Valerie S., et al.
Pubblicazione: (2024)

String loops and gravitational positivity bounds: imprint of light particles at high energies
di: Caron-Huot, Simon, et al.
Pubblicazione: (2024)

Massive two-loop four-point Feynman integrals at high energies with AsyInt
di: Zhang, Hantian
Pubblicazione: (2024)

Prospects for quantum process tomography at high energies
di: Altomonte, Clelia, et al.
Pubblicazione: (2024)

On approximations of Feynman path integrals
di: Hyttinen, Tapani
Pubblicazione: (2022)

The CSS Hamiltonian: high energy evolution of rapidity dependent observables
di: Duan, Haowu, et al.
Pubblicazione: (2024)

High-energy evolution in planar QCD to three loops: the non-conformal contribution
di: Brunello, Giacomo, et al.
Pubblicazione: (2025)

Astrophysical bounds on the high-energy evolution of neutrino mixing
di: Bustamante, Mauricio, et al.
Pubblicazione: (2026)

Axion-mediated photon-to-photon transitions in high finesse dielectric resonators
di: Almpanis, Evangelos
Pubblicazione: (2025)

Towards a test of the Born rule in high-energy collisions
di: Valentini, Antony, et al.
Pubblicazione: (2025)

Entanglement through high-energy scattering in noncommutative quantum electrodynamics
di: Martin, Carmelo P.
Pubblicazione: (2025)

Signatures of quasi-Dirac neutrinos in diffuse high-energy astrophysical neutrino data
di: Carloni, Kiara, et al.
Pubblicazione: (2025)

Renormalons in the energy-energy correlator
di: Schindler, Stella T., et al.
Pubblicazione: (2023)

Flavor physics at high-energy muon colliders
di: Glioti, Alfredo, et al.
Pubblicazione: (2025)

$Λ$ polarization in very high energy heavy ion collisions as a probe of the Quark-Gluon Plasma formation and properties
di: Palermo, Andrea, et al.
Pubblicazione: (2024)

From squared amplitudes to energy correlators
di: He, Song, et al.
Pubblicazione: (2024)

Exotic tetraquarks at the HL-LHC with JETHAD: A high-energy viewpoint
di: Celiberto, Francesco Giovanni
Pubblicazione: (2024)

On the electron self-energy to three loops in QED
di: Duhr, Claude, et al.
Pubblicazione: (2024)

On the photon self-energy to three loops in QED
di: Forner, Felix, et al.
Pubblicazione: (2024)

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

Investigating QCD Dynamical Entropy in high-energy nuclear collisions
di: Ramos, G. S., et al.
Pubblicazione: (2025)

Multijet topology in high-energy nuclear collisions: jet broadening
di: Kang, Jin-Wen, et al.
Pubblicazione: (2023)

Low-energy theorem revisited and OPE in massless QCD
di: Bochicchio, Marco, et al.
Pubblicazione: (2024)

High-energy photon hologram of a photon gas
di: Kazinski, P. O., et al.
Pubblicazione: (2026)

High-energy dynamics of QCD: Theoretical and phenomenological results
di: Gatto, Gabriele
Pubblicazione: (2025)

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

Theoretical underpinnings of CP-Violation at the High-energy Frontier
di: Bar-Shalom, Shaouly, et al.
Pubblicazione: (2024)