A topological proof of Sklar's theorem.

Fabrizio Durante Juan Fernández-Sánchez Carlo Sempi

Published in: Appl. Math. Lett. (2013)

Keyphrases

interactive theorem proving
digital topology
theorem prover
topological spaces
data sets
connected components
proof planning
image processing
theorem proving
topological properties
decision making
inference rules