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