Abstract
Links from Computer Algebra Systems to Numerical Libraries have been increasingly made available. However, they remain, like the numerical routines which comprise these libraries, difficult to use by a novice and there is little help in choosing the appropriate routine for any given problem, should there be a choice.
Computer Algebra Systems use generic names for each problem area. For example, ‘integrate’ (or ‘int’) is used for integration of a function, whatever method the code may use. Numeric interfaces still use different names for each method together with a variety of extra parameters, some of which may be optional. Ideally, we should extend the generic name structure to cover numerical routines. This would then, necessarily, require algorithms for making an assessment of the efficacy of different methods where such a choice exists.
This paper considers the link to the NAG Fortran Library from version 2.0 of Axiom and shows how we can build on this to extend and simplify the interface using an expert system for choosing and using the numerical routines.
The project “More Intelligent Delivery of Numerical Analysis to a Wider Audience” is funded by the UK Govt. Joint Information Systems Committee under their New Technologies Initiative (NTI-24)
Preview
Unable to display preview. Download preview PDF.
References
Baker, G.A., Graves-Morris, P.R.: Encyclopaedia of Mathematics and its Applications: Padé Approximants, Part 1: Basic Theory. Addison Wesley, Reading, Massachusetts, 1981.
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.
Buchberger, B., Collins, G.E., Loos, R., with Albrecht, R., editors: Computer Algebra: Symbolic and Algebraic Computation. Springer-Verlag, Wien, 1983.
Collins, G.E., Loos, R.: Real zeros of polynomials. In Buchberger et al. 1983, pp 83–94.
Davenport, J.H., Siret, Y., Tournier, E.: Computer Algebra: Systems and Algorithms for Algebraic Computation. Academic Press, London, 1988.
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.
Dekker, K., Verwer, J.D.: Stability of Runge-Kutte Methods for Stiff Nonlinear Differential Equations. North Holland, Amsterdam, 1984.
Dewar, M.C.: Interfacing Algebraic and Numeric Computation. PhD thesis, University of Bath, 1991.
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, Rolf Nevanlinna Institute, Helsinki.
Dupée, B.J., Davenport, J.H.: Using computer algebra to choose and apply numerical routines. AXIS, 2(3):31–41, Sep 1995.
Hall, G., Watt, J.M., editors: Modern Methods for Ordinary Differential Equations. Clarendon Press, Oxford, 1976.
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.
Hopkins, T., Phillips, C.: Numerical Methods in Practice: Using the NAG Library. Addison-Wesley, Wokingham, England, 1988.
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.
Kamel, M.S., Ma, K.S., Enright, W.H.: ODEXPERT: An expert system to select numerical solvers for initial value ODE systems. ACM Transactions on Mathematical Software, 19(1):44–62, March 1993.
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, Rolf Nevanlinna Institute, Helsinki.
Lambert, J.D.: Computational Methods in Ordinary Differential Equations. Wiley, London, 1973.
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'.
Mignotte, M.: Mathematics for Computer Algebra. Springer-Verlag, New York, 1992.
NAG: Fortran Library Manual — Mark 16. NAG Ltd, Oxford, UK, 1993. NAG Publication Code NP2478.
Prothero, A.: Introduction to stiff problems. In: Hall, G., Watt, J.M. 1976, pp 123–135. Richardson, M.G.: User Interfaces for Numeric Computation in Symbolic Environments. PhD thesis, University of Bath, To be presented in 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dupée, B.J., Davenport, J.H. (1996). An intelligent interface to numerical routines. In: Calmet, J., Limongelli, C. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1996. Lecture Notes in Computer Science, vol 1128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61697-7_26
Download citation
DOI: https://doi.org/10.1007/3-540-61697-7_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61697-9
Online ISBN: 978-3-540-70635-9
eBook Packages: Springer Book Archive