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

by E Rodriguez, D Kapur
Venue:International Conference on Symbolic and Algebraic Computation