Termination of linear loops under commutative updates
From MaRDI portal
Publication:6060374
DOI10.1145/3597066.3597101arXiv2302.01003OpenAlexW4383213584WikidataQ131124561 ScholiaQ131124561MaRDI QIDQ6060374
Publication date: 3 November 2023
Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2302.01003
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Porous invariants
- When does a submodule of \((\mathbb{R}[x_1,\dots,x_k)^n\) contain a positive element?]
- Polynomial Invariants for Affine Programs
- On the Decidability of Membership in Matrix-exponential Semigroups
- Computer Aided Verification
- Positivity Problems for Low-Order Linear Recurrence Sequences
- Abstract acceleration of general linear loops
- Ranking Functions for Linear-Constraint Loops
- Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination
- Termination of Integer Linear Programs
This page was built for publication: Termination of linear loops under commutative updates
