Proof of Moll's minimum conjecture.

William Y. C. Chen Ernest X. W. Xia

Published in: Eur. J. Comb. (2013)

Keyphrases

theorem prover
theorem proving
multiscale
objective function
computational complexity
learning algorithm
case study
preprocessing
first order logic
logical rules
square error