Three Proofs of Tychonoff's Theorem.

Étienne Matheron

Published in: Am. Math. Mon. (2020)

Keyphrases

interactive theorem proving
von neumann
theorem proving
formal proof
theorem prover
data sets
machine learning
metadata
multiscale
multiresolution
mathematical proofs