Hypatian Physics Lean4-Verified Framework Recursive Expansive Algebraic-Geometric Quantum Gravity, Particle Physics, and Cosmology по Del Bel, Julian (21403013)

Предметы: “...Mathematical methods and special functions...”

Recursive-Expansive Dynamics Frameworks Formalization with Negation Isolation and Inverse Zero Operators по Del Bel, Julian (21403013)

Предметы: “...Mathematical methods and special functions...”