#### DMCA

## 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: | 34 - 6 self |