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

by Enric Rodríguez-carbonell, Deepak Kapur
Venue:In International Symposium on Symbolic and Algebraic Computation 2004 (ISSAC04