The Logical Approach to Automatic Sequences Exploring Combinatorics on Words with Walnut |
|
Author:
| Shallit, Jeffrey |
Series title: | London Mathematical Society Lecture Note Ser. |
ISBN: | 978-1-108-74524-6 |
Publication Date: | Sep 2022 |
Publisher: | Cambridge University Press
|
Book Format: | Paperback |
List Price: | AUD $132.95 |
Book Description:
|
Readers will learn how to automatically prove or disprove new results in combinatorics and number theory in milliseconds by phrasing their desired results in first-order logic and using free software to automate the computation process. Containing more than 150 exercises, this text is an ideal resource for students and researchers.
Readers will learn how to automatically prove or disprove new results in combinatorics and number theory in milliseconds by phrasing their desired results in first-order logic and using free software to automate the computation process. Containing more than 150 exercises, this text is an ideal resource for students and researchers.