| 摘要 |
A processing system, method, and program for a modeling system. A math equation including a differential equation is prepared. A CAS solves the differential equation normally and by using an interval coefficient in accordance with an interval analysis technique. A coefficient vector of the two solutions are compared to determine if a distance between the vectors is equal to or less than a preset value, and if so, the CAS solves the math equation including a differential equation with the target coefficient set to zero. The coefficient vectors of the solution thus obtained and the normally solved solution are compared to determine if the distance between the vectors is equal to or less than a preset value, and if so, the differential equation is simplified by omitting a term of the target coefficient from the differential equation. |
