TY  - RPRT
TI  - Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
AU  - Erdenebayar Bayarmagnai
AU  - Fatemeh Mohammadi
AU  - Rémi Prébet
PY  - 2026
DO  - 10.1016/j.jsc.2025.102551
UR  - https://arxiv.org/abs/2412.14043
ID  - 2412.14043
ER  -