数学
可计算性
可计算性理论
微分方程
应用数学
数学分析
差速器(机械装置)
作者
Daniel S. Graça,Ning Zhong
出处
期刊:Theory and applications of computability
日期:2021-01-01
卷期号:: 71-99
标识
DOI:10.1007/978-3-030-59234-9_3
摘要
In this chapter, we provide a survey of results concerning the computability and computational complexity of differential equations. In particular, we study the conditions which ensure computability of the solution to an initial value problem for an ordinary differential equation (ODE) and analyze the computational complexity of a computable solution. We also present computability results concerning the asymptotic behaviors of ODEs as well as several classically important partial differential equations.
科研通智能强力驱动
Strongly Powered by AbleSci AI