Logical approach to automatic sequences, the: exploring combinatorics on words with walnut
Auteur :
Shallit, Jeffrey
Éditeur :
Cambridge University Press
ISBN :
9781108745246
Date de publication :
29 sept. 2022
Dimensions :
23,0 x 15,1 x 2,0 cm
Poids :
540 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.