Automatic generation of polynomial loop invariants: Algebraic foundations (2004)

by E Rodriguez-Carbonell, D Kapur
Venue:In Proc. Intl. Symp on Symbolic and Algebraic Computation, ISSAC2004