Login / Signup
Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination.
Róbert Vajda
Published in:
SYNASC (2017)
Keyphrases
</>
quantifier elimination
multiscale
dynamic programming
state space