A proof of Dejean's conjecture.

James D. Currie Narad Rampersad

Published in: Math. Comput. (2011)

Keyphrases

theorem prover
data sets
multi agent
databases
neural network
computer vision
information systems
feature selection
lower bound
expert systems
relational databases
logic programs
theorem proving
natural deduction
mathematical proofs
geometry theorem proving