scientific article; zbMATH DE number 7378586

DOI10.4230/LIPIcs.CONCUR.2018.42MaRDI QIDQ5009460

Unnamed Author, Joël Ouaknine, Mehran Hosseini, Shaull Almagor, James Worrell

Publication date: 4 August 2021

Full work available at URL: https://arxiv.org/abs/1806.07740

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

positivitydivergencealgebraic numberslinear recurrence sequences

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Ultimate periodicity problem for linear numeration systems ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reachability problems for Markov chains
• On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
• Logarithmic forms and group varieties.
• On the Diophantine equation $ax^{2t}+bx^ty+cy^2=d$ and pure powers in recurrence sequences.
• A note on linear recursive sequences
• On the Positivity Problem for Simple Linear Recurrence Sequences,
• Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
• Positivity Problems for Low-Order Linear Recurrence Sequences
• Termination of Integer Linear Programs

This page was built for publication: