Nonlinear Polynomials, Interpolants and Invariant Generation for System Analysis.

Deepak Kapur

Browse the full ISSAC paper archive.