Login / Signup
A proof of Dejean's conjecture
James D. Currie
Narad Rampersad
Published in:
CoRR (2009)
Keyphrases
</>
theorem prover
theorem proving
database
real time
mathematical proofs
data mining
machine learning
search engine
case study
three dimensional
artificial neural networks
special case
linear logic