An intelligent interface to numerical routines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1128, Issue , 1996, Pages 252-262

  Dupée, Brian J ^a   Davenport, James H ^a  

^a UNIVERSITY OF BATH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; LIBRARIES;

COMPUTER ALGEBRA SYSTEMS; INTELLIGENT INTERFACE; NUMERICAL LIBRARY; PROBLEM AREAS;

ALGEBRA;

EID: 84947419223     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61697-7_26     Document Type: Conference Paper

References (22)

1. Baker, G. A., Graves-Morris, P. R.: Encyclopaedia of Mathematics and its Applications: Padd Approximants, Part 1: Basic Theory. Addison Wesley, Reading, Mazsachusetfs, 1981.
2. Broughan, K. A., Keady, G., Robb, T., Richardson, M. G., Dewar, M. C.: Some symbolic computing links to the NAG numeric library. SIGSAM Bulletin, 25: 28-37, July 1991.
3. Buchberger, B., Collins, G. E., Loos, R., with Albrecht, R., editors: Computer Algebra: Symbolic and Algebraic Computation. Springer-Verlag, Wien, 1983.
4. Collins, G. E., Loos, R.: Real zeros of polynomials. In Buchberger et al. 1983, pp 83-94.
5. Davenport, J. H., Siret, Y., Tournier, E.: Computer Algebra: Systems and Algorithms for Algebraic Computation. Academic Press, London, 1988.
6. Davenport, J. H., Dewar, M. C., Richardson, M. G.: Symbolic and numeric computation: The IRENA project. In: Proceedings of the Workshop on Symbolic and Numeric Computation (Helsinki, 1991), pp 1-18, Computing Centre of Helsinki University, 1991.
7. Dekker, K., Verwer, J. D.: Stability of Runge Methods for Stiff Nonlinear Differential Equations. North Holland, Amsterdam, 1984.
8. Dewar, M. C.: Interfacing Algebraic and Numeric Computation. PhD thesis, University of Bath, 1991.
9. Dewar, M. C.: Manipulating Fortran code in Axiom and the Axiom-NAG link. In: Apiola, H., Laine, M., Valkeila, E., editors: Proceedings of the Workshop on Symbolic and Numeric Computation (Helsinki, 1993), pp 1-12, 1994. Research Report B10, RoE Nevanlinna Institute, Helsinki.
10. Duple, B. J., Davenport, J. H.: Using computer algebra to choose and apply numerical routines. AXIS, 2(3): 31-41, Sep 1995.
11. Hall, G., Watt, J. M., editors: Modern Methods for Ordinary Differential Equations. Clarendon Press, Oxford, 1976.
12. Hawkes, E., Keady, G.: Two more links to NAG numerics involving CA systems. In: Proceedings of the IMACS Conference on Applications of Computer Algebra (University of New Mexico), May 1995.
13. Hopkins, T., Phillips, C.: Numerical Methods in Practice: Using the NAG Library. Addison-Wesley, Wokingham, England, 1988.
14. Houstis, E. N., Rice, J. R., Vichnevetsky, R., editors: Expert Systems for Scientific Computing. North-Holland, Amsterdam, 1992. Proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, April 1992.
15. Kamel, M. S., Ma, K. S., Enright, W. H.: ODEXPERT: An expert system to select numerical solvers for initial value ODE systems. A CM Transactions on Mathematical Software, 19(1): 44-62, March 1993.
16. Keady, G, Nolan, G.: Production of argument subprograms in the Axiom-NAG link: examples involving nonlinear systems. In: Apiola, H., Laine, M., Valkeila, E., editors: Proceedings of the Workshop on Symbolic and Numeric Computation, Helsinki, May 1993, pp 13-32, 1994. Research Report B10, Roll Nevanlinna Institute, Helsinki.
17. Lambert, J. D.: Computational Methods in Ordinary Differential Equations. Wiley, London, 1973.
18. Lucks, M., Gladwell, I.: Automated selection of mathematical software. ACM Transactions on Mathematical Software, 18(1): 11-34, March 1992. Also published in Houstis et al. 1992, pp 421-459, as 'A Functional Representation for Software Selection Expertise'.
19. Mignotte, M.: Mathematics for Computer Algebra. Springer-Verlag, New York, 1992.
20. NAG: Fortran Library Manual-Mark 16. NAG Ltd, Oxford, UK, 1993. NAG Publication Code NP2478.
21. Prothero, A.: Introduction to stiff problems. In: Hall, G., Watt, J. M. 1976, pp 123-135.
22. Richardson, M. G.: User Interlaces/or Numeric Computation in Symbolic Environments. PhD thesis, University of Bath, To be presented in 1996.