A Short Proof of Moll's Minimal Conjecture.

Published in: Electron. J. Comb. (2017)

Keyphrases

real time
theorem prover
data sets
e learning
cooperative
digital libraries
preprocessing
lower bound