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