Spectral Causal Theory: derivations, verification, analysis, and publications.
Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.
Lean 4 library characterizing the algebraic structure of metastability and consolidation in stochastic systems
GNN-guided structure-aware mesh simplification framework
The Golomb Universe
Fortitude and persistence dedicated to a worthy endeavor.
Operator-geometric framework for metabolic identifiability and metabolite panel design under partial observability using Human-GEM, proteomics-informed reaction weighting, and spectral geometry.
Emergent Metricity from Spectral Connectivity
dual-view: a unified framework for 2-adic number systems, p-adic Newton dynamics, spectral geometry, gauge theory, and quantum compilation
Evaluating the Riemann Hypothesis in Lean 4 via p-adic shift operators and tensor networks.
Add a description, image, and links to the spectral-geometry topic page so that developers can more easily learn about it.
To associate your repository with the spectral-geometry topic, visit your repo's landing page and select "manage topics."