Proofs of the Ethier and Lee slot machine conjectures.

Huaijin Liang Zengjing Chen

Published in: CoRR (2023)

Keyphrases

theorem prover
theorem proving
computer vision
real world
data mining
website
case study
parallel machines
batch processing
natural deduction