The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut: 482 (London Mathematical Society Lecture Note Series, Series Number 482) - Softcover

Shallit, Jeffrey

 
9781108745246: The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut: 482 (London Mathematical Society Lecture Note Series, Series Number 482)
Softcover
ISBN 10: 1108745245 ISBN 13: 9781108745246
Publisher: Cambridge University Press, 2022

Synopsis

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

"synopsis" may belong to another edition of this title.

About the Author

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.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2022
Language
English
ISBN 10 
1108745245
ISBN 13 
9781108745246
Binding
Paperback
Edition number
1
Number of pages
374