ByNobleID
    Estimating the region of attraction of ordinary differential equations by quantified constraint solving | NobleID