@misc{indiciae428bc7932680,
  title = {Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants},
  author = {Erdenebayar Bayarmagnai and Fatemeh Mohammadi and Rémi Prébet},
  year = {2026},
  doi = {10.1016/j.jsc.2025.102551},
  url = {https://arxiv.org/abs/2412.14043},
  note = {Source identifier: 2412.14043}
}