Erdenebayar Bayarmagnai

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Algebraic Geometry

Top Venues

Publications

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