First-order orbit queries
type: Item
instance of: scholarly article
title: First-order orbit queries
author: Shaull Almagor
author: James Worrell
author: Joël Ouaknine
published in: Theory of Computing Systems
publication date: 2021-08-05T00:00:00Z
Mathematics Subject Classification ID: 68R05
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 11J83
Mathematics Subject Classification ID: 11J86
Mathematics Subject Classification ID: 37E99
zbMATH DE Number: 7379110
zbMATH Keywords: linear dynamical systems
zbMATH Keywords: orbit problem
zbMATH Keywords: first-order theory of the reals
MaRDI profile type: Publication
OpenAlex ID: W3014334551
cites work: Q5111354
cites work: Q5090452
cites work: Logarithmic forms and group varieties.
cites work: Algorithms in real algebraic geometry
cites work: The Polyhedron-Hitting Problem
cites work: On the Complexity of the Orbit Problem
cites work: Q4079605
cites work: Q3254327
cites work: Q5613964
cites work: Polynomial-time algorithm for the orbit problem
cites work: Symbolic reachability computation for families of linear vector fields
cites work: Q3963114
cites work: Q3671245
cites work: Computing polynomial program invariants
cites work: Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
cites work: Optimal and nearly optimal algorithms for approximating polynomial zeros
cites work: Q1185456
cites work: Q3545513
cites work: Q5807665
cites work: Occurrence of zero in a linear recursive sequence
DOI: 10.1007/S00224-020-09976-7
description: scientific article; zbMATH DE number 7379110