AI & ML interests
Zero-Point Equilibrium Operation, Macroscopic Gravity-Fluid Dynamics, CFD, Lean 4 Theorem Proving
models 0
None public yet
datasets 0
None public yet
Zero-Point Equilibrium Operation, Macroscopic Gravity-Fluid Dynamics, CFD, Lean 4 Theorem Proving