Static inheritance theory for preserving point-wise well-composedness in cubical complexes, with formal proofs and verification code.
topology proof mathematical-imaging digital-topology well-composedness cubical-complexes discrete-topology
-
Updated
Jul 30, 2026 - Python