Typed audit calculus for scientific transfers, with formal fixtures, claim ledgers, and reproducibility gates.
reproducible-research inverse-problems formal-verification preprint mathematical-physics koopman-operator operator-theory open-systems scientific-evidence boundary-state-calculus
-
Updated
Aug 1, 2026 - Python