Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination.

Rbert Vajda

Browse the full SYNASC paper archive.