@misc{https___doi.org_10.48550_arxiv.2405.09232,
    doi = {10.48550/ARXIV.2405.09232},
    url = {https://arxiv.org/abs/2405.09232},
    author = {Bayarmagnai, Erdenebayar and Mohammadi, Fatemeh and Prébet, Rémi},
    keywords = {Symbolic Computation (cs.SC), Programming Languages (cs.PL), Algebraic Geometry (math.AG), FOS: Computer and information sciences, FOS: Computer and information sciences, FOS: Mathematics, FOS: Mathematics},
    title = {Algebraic Tools for Computing Polynomial Loop Invariants},
    publisher = {arXiv},
    year = {2024},
    copyright = {arXiv.org perpetual, non-exclusive license},
    date-added = {2024-12-10 17:44:56 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2405.09232, doi = {10.48550/ARXIV.2405.09232}, url = {https://arxiv.org/abs/2405.09232}, author = {Bayarmagnai, Erdenebayar and Mohammadi, Fatemeh and Prébet, Rémi}, keywords = {Symbolic Computation (cs.SC), Programming Languages (cs.PL), Algebraic Geometry (math.AG), FOS: Computer and information sciences, FOS: Computer and information sciences, FOS: Mathematics, FOS: Mathematics}, title = {Algebraic Tools for Computing Polynomial Loop Invariants}, publisher = {arXiv}, year = {2024}, copyright = {arXiv.org perpetual, non-exclusive license}, date-added = {2024-12-10 17:44:56 +0100} }