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
Citations:29 - 4 self