An Alternative Proof of Steinhaus's Theorem.

Arpan Sadhukhan

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

Keyphrases

interactive theorem proving
case study
neural network
theorem prover
machine learning
artificial intelligence
data sets
special case
knowledge representation
von neumann