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

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Sherrington, Ryan
Format:	Recurso digital
Language:	English
Published:	Zenodo 2026
Subjects:	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
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Description not available.

Similar Items