Buchumschlag

Algebraic power series and their automatic complexity modulo prime powers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rowland, Eric, Yassawi, Reem
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Number Theory Formal Languages and Automata Theory Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An elementary proof of Bridy's theorem
von: Rowland, Eric, et al.
Veröffentlicht: (2023)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions
von: Foughali, Mohammed Aristide, et al.
Veröffentlicht: (2024)

Specializing anti-unification for interaction models composition via gate connections
von: Nguetoum, Joel, et al.
Veröffentlicht: (2025)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)

Weakly-unambiguous Parikh automata and their link to holonomic series
von: Bostan, Alin, et al.
Veröffentlicht: (2025)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
von: Das, Ratnangshu, et al.
Veröffentlicht: (2025)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
von: Sistla, Meghana, et al.
Veröffentlicht: (2022)

Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
von: Tabbara, Ihab, et al.
Veröffentlicht: (2025)

Mahler equations for Zeckendorf numeration
von: Carton, Olivier, et al.
Veröffentlicht: (2024)

Arithmetical subword complexity of automatic sequences
von: Konieczny, Jakub, et al.
Veröffentlicht: (2023)

Tracer: A Tool for Race Detection in Software Defined Network Models
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)

Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
von: Kiefer, Stefan, et al.
Veröffentlicht: (2025)

On asymptotically automatic sequences
von: Konieczny, Jakub
Veröffentlicht: (2023)

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

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
von: Ardon, Leo, et al.
Veröffentlicht: (2024)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
von: Moran, Murat
Veröffentlicht: (2026)

Completing the picture for the Skolem Problem on order-4 linear recurrence sequences
von: Bacik, Piotr
Veröffentlicht: (2024)

New properties of the $φ$-representation of integers
von: Shallit, Jeffrey, et al.
Veröffentlicht: (2025)

S-unit equations in modules and linear-exponential Diophantine equations
von: Dong, Ruiwen, et al.
Veröffentlicht: (2025)

A Sharper Upper Bound for the Separating Words Problem
von: Dumitru, Bogdan C.
Veröffentlicht: (2025)

Recursive Prime Factorizations: Dyck Words as Numbers
von: Childress, Ralph L.
Veröffentlicht: (2021)

Note on dissecting power of regular languages
von: Rukavicka, Josef
Veröffentlicht: (2023)

Cobham's theorem for the Gaussian integers
von: Bustos-Gajardo, Álvaro, et al.
Veröffentlicht: (2025)

Real-Time Emergency Vehicle Detection using Mel Spectrograms and Regular Expressions
von: Pacheco-Gonzalez, Alberto, et al.
Veröffentlicht: (2023)

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations
von: Dong, Ruiwen
Veröffentlicht: (2024)

Formalizing zeta and L-functions in Lean
von: Loeffler, David, et al.
Veröffentlicht: (2025)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2026)

On the piecewise complexity of words
von: Schnoebelen, Philippe, et al.
Veröffentlicht: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
von: Grahl, Johanna, et al.
Veröffentlicht: (2025)

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

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
von: Shallit, Jeffrey
Veröffentlicht: (2023)

An 'Experimental Mathematics' Approach to Stolarsky Interspersions via Automata Theory
von: Shallit, Jeffrey
Veröffentlicht: (2025)

State Complexity of Shifts of the Fibonacci Word
von: Moradi, Delaram, et al.
Veröffentlicht: (2026)

The Tribonacci constant and finite automata
von: Shallit, Jeffrey
Veröffentlicht: (2025)

Escape of mass of the Thue-Morse sequence
von: Nesharim, Erez, et al.
Veröffentlicht: (2025)

Commutative algebras of series
von: Clemente, Lorenzo
Veröffentlicht: (2026)

On state complexity for subword-closed languages
von: Guyot, Jérôme
Veröffentlicht: (2024)

Nondeterministic state complexity of square root
von: Onishchenko, Sergey
Veröffentlicht: (2026)

The complexity of separability for semilinear sets and Parikh automata
von: Collins, Elias Rojas, et al.
Veröffentlicht: (2024)

The complexity of reachability problems in strongly connected finite automata
von: Kiefer, Stefan, et al.
Veröffentlicht: (2025)