Machine-Assisted Proofs (ICM 2018 Panel).

James H. Davenport Bjorn Poonen James Maynard Harald Helfgott Pham Huu Tiep Luís Cruz-Filipe

Published in: CoRR (2018)

Keyphrases

equational theories
data mining
flowshop
theorem prover
theorem proving
real world
information retrieval
artificial intelligence
computer programs
formal proofs