Proving results about OEIS sequences with \texttt{Walnut}

DOI10.1007/978-3-031-42753-4_18OpenAlexW4386297699MaRDI QIDQ6118839

Jeffrey O. Shallit

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-42753-4_18

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cobham's theorem for substitutions
• Some combinatorial properties of the Thue-Morse sequence and a problem in semigroups
• Logic and \(p\)-recognizable sets of integers
• Enumeration of factors in the Thue-Morse word
• Synchronized sequences
• Some Theorems on Fourier Coefficients
• Nombres algébriques et substitutions
• Additive properties of certain sets
• Counterexamples to a conjecture of Dombi in additive number theory