The purpose of the PSX project is to develop a computer program that can autonomously carry out qualitative analysis of systems of ordinary differential equations. The central issue in analysis automation is the development of a computational theory for dynamical systems analysis. In this paper, I focus on integrating qualitative and quantitative methods so that a computer program can automatically make high-level decisions and derive abstract information by intelligently controlling numerical and symbolic computation. I survey technical results obtained in the PSX project and describe the current status, highlighting intelligent techniques for controlling numerical computation.
展开▼