@ARTICLE{2024arXiv241214043B,

    author = {{Bayarmagnai}, Erdenebayar and {Mohammadi}, Fatemeh and {Pr{\'e}bet}, R{\'e}mi},
    title = {{Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version)}},
    journal = {arXiv e-prints},
    keywords = {Computer Science - Symbolic Computation, Computer Science - Programming Languages, Mathematics - Algebraic Geometry},
    year = {2024},
    month = {dec},
    eid = {arXiv:2412.14043},
    pages = {arXiv:2412.14043},
    doi = {10.48550/arxiv.2412.14043},
    archiveprefix = {arXiv},
    eprint = {2412.14043},
    primaryclass = {cs.SC},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2024arXiv241214043B},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2025-1-6 14:41:6 +0100}
}

    author = {{Bayarmagnai}, Erdenebayar and {Mohammadi}, Fatemeh and {Pr{\'e}bet}, R{\'e}mi},
    title = {{Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version)}},
    journal = {arXiv e-prints},
    keywords = {Computer Science - Symbolic Computation, Computer Science - Programming Languages, Mathematics - Algebraic Geometry},
    year = {2024},
    month = {dec},
    eid = {arXiv:2412.14043},
    pages = {arXiv:2412.14043},
    doi = {10.48550/arxiv.2412.14043},
    archiveprefix = {arXiv},
    eprint = {2412.14043},
    primaryclass = {cs.SC},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2024arXiv241214043B},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2025-1-6 14:41:6 +0100}
}</bib>