positive-geometry

Here are 3 public repositories matching this topic...

savanc / UOPG-Emergent-Spacetime

A Lean 4-verified research programme on positive geometry and emergent spacetime, testing whether dimensionless Standard-Model quantities follow with zero fitted parameters. 1378 theorems, 0 non-standard axioms; papers on Zenodo.

particle-physics formal-verification standard-model scattering-amplitudes mathlib grassmannian lean4 emergent-spacetime amplituhedron ollivier-ricci-curvature positive-geometry associahedron

Updated Nov 4, 2026
Lean

Blu5Morpheus / amplituhedron-solver

Star

Tree-level scattering amplitudes via the amplituhedron's positive geometry

particle-physics scattering-amplitudes positive-geometry

Updated Jul 16, 2026
Python

jrtorrez31337 / executable-positive-geometry

Star

From Bell tests to the two-loop amplituhedron: an executable verification tour of positive geometry and emergent spacetime, with holographic wedge localization measured on IBM quantum hardware

physics quantum-computing holography qiskit quantum-error-correction emergent-spacetime amplituhedron positive-geometry

Updated Aug 16, 2026
Python

Add this topic to your repo

To associate your repository with the positive-geometry topic, visit your repo's landing page and select "manage topics."

Learn more