A short proof that shuffle squares are 7-avoidable.

Guillaume Guégan Pascal Ochem

Published in: RAIRO Theor. Informatics Appl. (2016)

Keyphrases

theorem proving
machine learning
digital libraries
video sequences
preprocessing
hough transform
theorem prover
linear logic
mathematical proofs
database
genetic algorithm
learning algorithm
multi agent
expert systems
automated theorem proving