-
1
Hypatian Physics Lean4-Verified Framework Recursive Expansive Algebraic-Geometric Quantum Gravity, Particle Physics, and Cosmology
Izdano 2025Teme: “…Mathematical methods and special functions…”
-
2
Recursive-Expansive Dynamics Frameworks Formalization with Negation Isolation and Inverse Zero Operators
Izdano 2025Teme: “…Mathematical methods and special functions…”