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...”