Imagen de Portada

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Shallit, Jeffrey
Formato:	Preprint
Publicado:	2023
Materias:	Number Theory Discrete Mathematics Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Hurt-Sada Array and Zeckendorf Representations
por: Shallit, Jeffrey
Publicado: (2025)

An 'Experimental Mathematics' Approach to Stolarsky Interspersions via Automata Theory
por: Shallit, Jeffrey
Publicado: (2025)

The Tribonacci constant and finite automata
por: Shallit, Jeffrey
Publicado: (2025)

Brik's sequence: a strange recursion
por: Shallit, Jeffrey
Publicado: (2026)

Cloitre's Self-Generating Sequence
por: Shallit, Jeffrey
Publicado: (2025)

The Narayana Morphism and Related Words
por: Shallit, Jeffrey
Publicado: (2025)

Using finite automata to compute the base-$b$ representation of the golden ratio and other quadratic irrationals
por: Barnoff, Aaron, et al.
Publicado: (2024)

Balanced Fibonacci word rectangles, and beyond
por: Shallit, Jeffrey, et al.
Publicado: (2025)

State Complexity of Shifts of the Fibonacci Word
por: Moradi, Delaram, et al.
Publicado: (2026)

Consecutive Power Occurrences in Sturmian Words
por: Bell, Jason, et al.
Publicado: (2024)

Complexity of Linear Subsequences of $k$-Automatic Sequences
por: Moradi, Delaram, et al.
Publicado: (2025)

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
por: Schaeffer, Luke, et al.
Publicado: (2024)

Runs in Paperfolding Sequences
por: Shallit, Jeffrey
Publicado: (2024)

Ten Squares Force an Overlap
por: Shallit, Jeffrey
Publicado: (2026)

Some Fibonacci-Related Sequences
por: Cloitre, Benoit, et al.
Publicado: (2023)

The Repetition Threshold for Rote Sequences
por: Ollinger, Nicolas, et al.
Publicado: (2024)

String Attractors for Automatic Sequences
por: Schaeffer, Luke, et al.
Publicado: (2020)

Strongly k-recursive sequences
por: Krenn, Daniel, et al.
Publicado: (2024)

New properties of the $φ$-representation of integers
por: Shallit, Jeffrey, et al.
Publicado: (2025)

Dyck Words, Pattern Avoidance, and Automatic Sequences
por: Mol, Lucas, et al.
Publicado: (2023)

Self-Verifying Predicates in Büchi Arithmetic
por: Khodier, Mazen, et al.
Publicado: (2025)

Some Remarks on Palindromic Periodicities
por: Fici, Gabriele, et al.
Publicado: (2024)

Complexity of Linear Subsequences of Fibonacci-Automatic Sequences
por: Moradi, Delaram, et al.
Publicado: (2026)

Pseudoperiodic Words and a Question of Shevelev
por: Meleshko, Joseph, et al.
Publicado: (2022)

Antisquares and Critical Exponents
por: Baranwal, Aseem, et al.
Publicado: (2022)

Repetition Threshold for Binary Automatic Sequences
por: Allouche, J. -P., et al.
Publicado: (2024)

Modular Decomposition of Hierarchical Finite State Machines
por: Biggar, Oliver, et al.
Publicado: (2021)

Decidability and Characterization of Expansivity for Group Cellular Automata
por: Castronuovo, Niccolo', et al.
Publicado: (2025)

Algebraic Characterization of Reversible First Degree Cellular Automata over $\mathbb{Z}_d$
por: J., Baby C., et al.
Publicado: (2026)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
por: Castronuovo, Niccolo', et al.
Publicado: (2025)

Persistent Permutability in Choice Petri Nets
por: Best, Eike, et al.
Publicado: (2026)

A New Notion of Regularity: Finite State Automata Accepting Graphs
por: Meeres, Yvo Ad
Publicado: (2024)

Counting Polyominoes in a Rectangle b x h
por: Marin, Louis
Publicado: (2024)

Differential Tree Automata
por: Manssour, Rida Ait El, et al.
Publicado: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
por: Akiyama, Shigeki, et al.
Publicado: (2024)

Graph subshifts
por: Arrighi, Pablo, et al.
Publicado: (2023)

Membership problems in nilpotent groups
por: Bodart, Corentin
Publicado: (2024)

Bounded Generation of Submonoids of Heisenberg Groups
por: Shafrir, Doron
Publicado: (2024)

On finite extensions of lamplighter groups
por: Bodart, Corentin
Publicado: (2025)

One Adaptive Trailing Head Can Outperform Many Oblivious Trailing Heads
por: Cruz, Julianne, et al.
Publicado: (2026)