Machine-verified thermodynamic bounds for orbital data-center heat rejection, plus an audit-closed Python radiator-simulation package — headline result: a +6.35 K exact-view-factor correction to McCalip's edge-on geometry.
python thermodynamics formal-verification wolfram-language preprint spacecraft-thermal-control orbital-data-centers
-
Updated
Jul 6, 2026 - Python