Undecidability of Event Detection for ODEs

6 downloads 0 Views 3MB Size Report
variant of M4 such that derivatives of p(u) of arbitrary order tend to zero as u ..... [LS] Levine, R. Y., A.T. Sherman: A Note on Bennett's Time-Space Trade-Off for ...