TY  - RPRT
TI  - Algebraic Tools for Computing Polynomial Loop Invariants
AU  - Erdenebayar Bayarmagnai
AU  - Fatemeh Mohammadi
AU  - Rémi Prébet
PY  - 2024
UR  - https://arxiv.org/abs/2405.09232
ID  - 2405.09232
ER  -