https://1library.org/document/zgg4ev6z-polynomial-differential-equations-compute-computable-functions-computable-intervals.html