Robust and reliable software for the investigation of approximate solutions of systems of ordinary differential equations

在提出的研究中，我们计划分析和改进用于近似微分方程解的数值软件的可靠性，鲁棒性和实用性。我们将分析和开发有效的工具，用于近似解的可视化和验证，以及研究在各种不同应用领域中开发数学模型的实践者特别感兴趣的其他问题。这些领域包括医学、生态学、生物学和金融学。我们的贡献并不是开发新的或更好的数学模型，而是我们将提供一种机制，帮助实践者理解和调整他们模型的参数，以更好地适应他们正在建模的系统的观察行为。

In the proposed research we plan to analyze and improve the reliability, robustness and usefulness of numerical software for approximating the solution of differential equations. We will analyze and develop effective tools for the visualization and verification of approximate solutions and for investigating other issues of particular interest to practitioners developing mathematical models in a variety of different application areas. These areas include medicine, ecology, biology and finance. Our contribution and will not be to the development of new or better mathematical models, but rather we will provide a mechanism that will help practitioners understand and tune the parameters of their model to better fit the observed behaviour of the system they are modeling.