Polynomial differential equations compute all real computable functions on computable compact intervals

From MaRDI portal