ByNobleID
    Scalable analysis of nonlinear systems using convex optimization | NobleID