## 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 |