Automatic Theorem-Proving in Combinatorics on Words

Dane Henshall Jeffrey O. Shallit

Published in: CoRR (2012)

Keyphrases

automatic theorem proving
n gram
proper nouns
neural network
english words
probabilistic model
graph theory
data sets
e learning
multiscale
word segmentation