Cover Image

S-unit equations in modules and linear-exponential Diophantine equations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dong, Ruiwen, Shafrir, Doron
Format:	Preprint
Published:	2025
Subjects:	Number Theory Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations
by: Dong, Ruiwen
Published: (2024)

Sections of Submonoids of Nilpotent Groups
by: Shafrir, Doron
Published: (2024)

Is decidability of the Submonoid Membership Problem closed under finite extensions?
by: Shafrir, Doron
Published: (2024)

Bounded Generation of Submonoids of Heisenberg Groups
by: Shafrir, Doron
Published: (2024)

Completing the picture for the Skolem Problem on order-4 linear recurrence sequences
by: Bacik, Piotr
Published: (2024)

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

A Sharper Upper Bound for the Separating Words Problem
by: Dumitru, Bogdan C.
Published: (2025)

Recursive Prime Factorizations: Dyck Words as Numbers
by: Childress, Ralph L.
Published: (2021)

On asymptotically automatic sequences
by: Konieczny, Jakub
Published: (2023)

Arithmetical subword complexity of automatic sequences
by: Konieczny, Jakub, et al.
Published: (2023)

Equations in wreath products
by: Bartholdi, Laurent, et al.
Published: (2024)

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

The Tribonacci constant and finite automata
by: Shallit, Jeffrey
Published: (2025)

Escape of mass of the Thue-Morse sequence
by: Nesharim, Erez, et al.
Published: (2025)

Algebraic power series and their automatic complexity modulo prime powers
by: Rowland, Eric, et al.
Published: (2024)

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

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
by: Shallit, Jeffrey
Published: (2023)

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

Quantum finite automata and linear context-free languages: a decidable problem
by: Bertoni, A., et al.
Published: (2013)

Mahler equations for Zeckendorf numeration
by: Carton, Olivier, et al.
Published: (2024)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
by: Yang, Dong, et al.
Published: (2024)

The Identity Problem in virtually solvable matrix groups over algebraic numbers
by: Bodart, Corentin, et al.
Published: (2024)

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

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

The Hurt-Sada Array and Zeckendorf Representations
by: Shallit, Jeffrey
Published: (2025)

Formalizing zeta and L-functions in Lean
by: Loeffler, David, et al.
Published: (2025)

Cloitre's Self-Generating Sequence
by: Shallit, Jeffrey
Published: (2025)

The Narayana Morphism and Related Words
by: Shallit, Jeffrey
Published: (2025)

Brik's sequence: a strange recursion
by: Shallit, Jeffrey
Published: (2026)

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

Transcendence of Hecke-Mahler Series
by: Luca, Florian, et al.
Published: (2024)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
by: Best, Alex, et al.
Published: (2024)

Solvability of orbit-finite systems of linear equations
by: Ghosh, Arka, et al.
Published: (2022)

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
by: Bell, Jason P., et al.
Published: (2022)

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

A General Information Extraction Framework Based on Formal Languages
by: Schmid, Markus L.
Published: (2025)

Statistical process discovery
by: Cry, Pierre, et al.
Published: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
by: Jeppson, Joshua, et al.
Published: (2025)

Hyper pattern matching
by: Waga, Masaki, et al.
Published: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
by: Kutrib, Martin, et al.
Published: (2025)