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

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