Uniting dozens of seemingly disparate results from different fields, this book combines concepts from mathematics and computer science to present the first inte

Automatic sequences are sequences which are produced by a finite automaton. Although they are not random they may look as being random. They are complicated, in

Learn how to automatically prove mathematical statements in combinatorics, sequences, and number theory.

This collaborative book presents recent trends on the study of sequences, including combinatorics on words and symbolic dynamics, and new interdisciplinary link

Recurrence sequences are of great intrinsic interest and have been a central part of number theory for many years. Moreover, these sequences appear almost every