Rudin-Shapiro Sums Via Automata Theory and Logic
Abstract
We show how to obtain, via a unified framework provided by logic and automata theory, many classical results of Brillhart and Morton on Rudin-Shapiro sums. The techniques also facilitate easy proofs for new results.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2023
- DOI:
- arXiv:
- arXiv:2302.00405
- Bibcode:
- 2023arXiv230200405R
- Keywords:
-
- Mathematics - Number Theory;
- Computer Science - Discrete Mathematics;
- Computer Science - Formal Languages and Automata Theory;
- Mathematics - Combinatorics
- E-Print:
- This is the full version of a paper that has been accepted to the WORDS 2023 conference in Umea, Sweden