Towards a Calculus of Echo State Networks.

Alireza Goudarzi Darko Stefanovic

Published in: CoRR (2014)

Keyphrases

echo state networks
recurrent neural networks
automated deduction
computer algebra
information retrieval
case study
artificial neural networks
social networks
decision making
formal language
automated theorem proving
algebraic structure