Proof of Brlek-Reutenauer conjecture

L'ubomíra Balková Edita Pelantová Stepán Starosta

Published in: CoRR (2012)

Keyphrases

theorem prover
mathematical proofs
theorem proving
automated theorem proving
computer vision
expert systems
hidden markov models
neural network
search engine
information systems
case study
image sequences
data streams
multi agent systems
inference rules
sequent calculus