-
1
Hypatian Physics Lean4-Verified Framework Recursive Expansive Algebraic-Geometric Quantum Gravity, Particle Physics, and Cosmology
Baskı/Yayın Bilgisi 2025Konular: “…Combinatorics and discrete mathematics (excl. physical combinatorics)…”
-
2
Recursive-Expansive Dynamics Frameworks Formalization with Negation Isolation and Inverse Zero Operators
Baskı/Yayın Bilgisi 2025Konular: “…Combinatorics and discrete mathematics (excl. physical combinatorics)…”