ODEXPERT: An Expert System to Select Numerical Solvers for Initial Value ODE Systems

ACM Transactions on Mathematical Software (TOMS)

Volumn 19, Issue 1, 1993, Pages 44-62

  Kamel, M S ^a   Ma, K S ^a   Enright, W H ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

selection of numerical software

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; DIFFERENTIAL EQUATIONS; KNOWLEDGE BASED SYSTEMS; NUMERICAL ANALYSIS;

INITIAL VALUE ORDINARY DIFFERENTIAL EQUATIONS; INITIAL VALUE PROBLEMS; NUMERICAL SOFTWARE SELECTION; SOFTWARE PACKAGE ODEXPERT;

EXPERT SYSTEMS;

EID: 0027555485     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/151271.151275     Document Type: Article

References (23)

1. ADDISON, C. A., ENRIGHT, W. H., GAFFNEY, P. W., GLADWELL, I., AND HANSON, P. M. Algorithm 687: A decision tree for the numerical solution of initial value ordinary differential equations. ACM Trans. Math. Softw. 17, 1 (Mar. 1991), 1-11.
2. AIRD, T. J., AND COWELL, W. R., Eds. The IMSL library. In Sources and Development of Mathematical Software. Prentice-Hall, Englewood Cliffs, N.J., 1984, 264-301.
3. BOISVERT, R. F., HOWE, S. E., AND KAHANER, D. J. GAMS: A framework for the management of scientific software. ACM Trans. Math. Softw. 11, 4 (Dec. 1985), 313-356.
4. CHAR, B. W., GEDDES, K. O., GONNET, G. H., AND WATT, S. M. Maple User's Gu?de. 4th ed., WATCOM Publ. Ltd., Waterloo, Ont., 1985.
5. CUTHILL, E., AND MCKEE, J. Reducing the bandwidth of sparse symmetric matrices. In Proceedings 24th National Conference ACM (Aug. 26-28, 1969), 157-172.
6. DUFF, I. S. On algorithms for obtaining a maximum transversal. Computer Science and Systems Div. Tech. Rep. CSS 49, AERE Harwell, Oct. 1978.
7. DUFF, I. S., AND REID, J. K. An implementation of Tarjan's algorithm for the block triangularization of a matrix. Computer Science and Systems Div. Tech. Rep. CSS 29, AERE Harwell, Apr. 1976.
8. ENRIGHT, W. H., HULL, T. E., AND LINDBERG, B. Comparing numerical methods for stiff systems of O.D.Es. BIT 15, 1 (1975), 10-48.
9. FORD, B., POOL, J. C. T., AND COWELL, W. R., Eds. The evolving NAG library. In Sources and Development of Mathemat?cal Software. Prentice-Hall, Englewood Cliffs, N.J., 1984, 375-397.
10. FORGY, C. L. OPS83 User's Manual and Report. Production Systems Technologies, Inc., 1985.
11. GAFFNEY, P. W., ADDISON, C. A., ANDERSON, B., BJORNESTAD, S., ENGLAND, R. E., HANSON, P. M., PICKERING, R., AND THOMASON, M. G. NEXUS: Towards a problem solving environment (PSE) for scientific computing. ACM SIGNUM Newsl. 21, 3 (July 1986), 13-24.
12. GAFFNEY, P. W., WOOTEN, J. W., AND KESSEL, K. A. NITPACK: An interactive tree package. ACM Trans. Math. Softw. 9, 4 (Dec. 1983), 395-417.
13. GIBBS, N. E., POOLE, W. G., AND STOCKMEYER, P. K. An algorithm for reducing the bandwidth and profile of a sparse matrix. SIAM J. Numer. Anal. 13, 2 (Apr. 1976), 236-250.
14. HAZEL, P., AND O'DONOHOE, M. R. HELP numerical: The Cambridge interactive documentation system for numerical methods. In Production and Assessment of Numerical Software. Academic Press, 1980, 367-382.
15. HULL, T. E., ENRIGHT, W. H., FELLEN, B. M., AND SEDGWICK, A. E. Comparing numerical methods for ordinary differential equations. SIAM J. Numer. Anal. 9, 4 (Dec. 1972), 603-637.
16. HULL, T. E., ENRIGHT, W. H., AND JACKSON, K. R. User's guide for DVERK-a subroutine for solving non-stiff ODE's. Computer Science Tech. Rep. 100, Univ. of Toronto, Oct. 1976.
17. KAMEL, M. S., AND PANG, G. A knowledge based system for automatic selection of initial value ode system solvers. Presented at 1988 Conference on the Numerical Solut?on of IVPs for ODEs (Univ. of Toronto, June 1988).
18. KAMEL, M. S. Towards an intelligent system solver. In Proceedings Internat?onal ASME Conference Modelling and Simulat?on (Nov. 1985), 32-39.
19. LUCKS, M., AND GLADWELL, I. Automated selection of mathematical software. Dept. of Computer Science Tech. Rep. 90-CS-26, Southern Methodist Univ., 1990.
20. PETZOLD, L. Automatic selection of methods for solving stiff and non-stiff systems of ordinary differential equations. SIAM J. Sci. Stat. Comput. 4, 1 (Mar. 1983), 136-149.
21. SALLAS, W. M. Use of SEARCH in the IMSL libraries interactive documentation facilities. Tech. Rep. 6, IMSL Directions, 1989.
22. SCHULZE, K., AND CRYER, C. W. NAXPERT: A prototype expert system for numerical software. SIAM J. Sc?. Stat. Comput. 9, 3 (May 1988), 503-515.
23. SHAMPINE, L. F. Stiffness and nonstiff differential equation solvers, II: detecting stiffness with Runge-Kutta methods. ACM Trans. Math. Softw. 3, 1 (Mar. 1977), 44-53.