Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations (2004)

by E Rodríguez-Carbonell, D Kapur
Venue:In International Symposium on Symbolic and Algebraic Computation 2004 (ISSAC04