Convex Cone of Energy Tensors under AQEI: Formal Verification and Computational Exploration

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Sherrington, Ryan
Natura:	Recurso digital
Lingua:	inglese
Pubblicazione:	Zenodo 2026
Soggetti:	Averaged Quantum Energy Inequalities (AQEI) Lean 4 Formal Verification Convex Geometry Stress-Energy Tensor Extreme Rays Quantum field theory Geometry Minkowski Space Interactive Theorem Proving Exact Rational Arithmetic Polyhedral Geometry Mathematical physics Mathematical Computing Mathematics Wolfram Mathematica
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online