Algebraic Tools for Computing Polynomial Loop Invariants. - Erdenebayar Bayarmagnai; Fatemeh Mohammadi; Rémi Prébet (ISSAC, 2024)

Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version). - Erdenebayar Bayarmagnai; Fatemeh Mohammadi; Rémi Prébet (CoRR, 2024)

Beyond Affine Loops: A Geometric Approach to Program Synthesis. - Erdenebayar Bayarmagnai; Fatemeh Mohammadi; Rémi Prébet (SOAP@PLDI, 2025)