Proof of the Sheldon Conjecture.

Carl Pomerance Chris Spicer

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

Keyphrases

theorem prover
theorem proving
information systems
automated theorem proving
case study
high level
optimal solution
management system
logical rules
formal proof