The Logical Approach to Automatic Sequences (London Mathematical Society Lecture Note Series, Series Number 482)

Shallit, Jeffrey

ISBN 10: 1108745245 / ISBN 13: 9781108745246

Verlag: Cambridge University Press, 2022

Special order direct from the distributor. Bestandsnummer des Verkäufers ING9781108745246

Inhaltsangabe:

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

Über die Autorin bzw. den Autor: 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.

Bibliografische Details

Titel: The Logical Approach to Automatic Sequences ...
Verlag: Cambridge University Press
Erscheinungsdatum: 2022
Einband: paperback
Zustand: New
Auflage: 1st Edition.