TY  - RPRT
TI  - Simple Linear Loops: Algebraic Invariants and Applications
AU  - Rida Ait El Manssour
AU  - George Kenison
AU  - Mahsa Shirmohammadi
AU  - Anton Varonka
PY  - 2024
UR  - https://arxiv.org/abs/2407.09154
ID  - 2407.09154
ER  -