The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut - Brossura

Shallit, Jeffrey

 
9781108745246: The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Jeffrey Shallit is Professor of Computer Science in the Faculty of Mathematics at the University of Waterloo. His research areas include formal languages, finite automata, combinatorics on words, algorithmic number theory, algebra, and the history of mathematics. He has published approximately 300 articles on these topics since 1975. He is also the author or co-author of four books. He is a foreign member of the Finnish Academy of Science and Letters.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.