Algebraic Tools for Computing Polynomial Loop Invariants.

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rmi Prbet

Browse the full ISSAC paper archive.