Skip to main content
SpringerLink
Log in

Expert systems for numerical software

  • Conference paper
Scientific Software Systems

  • 54 Accesses

Abstract

There is at present a need and demand for problem solving environments which use current technology and ideas from artificial intelligence to provide a user with support and assistance in the use of mathematical software. After a general introduction we discuss, with particular reference to an expert system called NAXPERT, how artificial intelligence techniques may be able to make a contribution in this area.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. S. Bennet and R. S. Englemore. SACON — A knowledge-based consultant for structural analysis. 6th Joint International Conference on Artificial Intelligence. Tokyo, Japan, pp. 47–49, 1979.

    Google Scholar 

  2. R. P. Boisvert, S. E. Howe, and D. J. Kahaner. GAMS: A framework for the management of scientific software. ACM Trans. Math. Software, 11:313–356, 1985.

    Article  Google Scholar 

  3. A. Bundy. The Computer Modelling of Mathematical Reasoning. Academic Press, London, 1983.

    Google Scholar 

  4. A. Bundy, L. Byrd, G. Luger, C. Mellish, R. Milne and M. Palmer. Mecho: A program to solve mechanics problems. Working Paper 50, Department of Artificial Intelligence, University of Edinburgh, 1979.

    Google Scholar 

  5. C. Chang and R. C. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973.

    Google Scholar 

  6. W. J. Cody. Observations on the mathematical software effort. In Sources and Development of Mathematical Software, W. E. Cowell, ed., Prentice-Hall, Englewood Cliffs, N.J., pp. 1–19, 1984.

    Google Scholar 

  7. J. Corones. SLADOC-“Expert” assistance for users of SLATEC routines. SIAM News, 21,No. 3:20–21, 1988.

    Google Scholar 

  8. W. R. Cowell. Sources and Development of Mathematical Software. Prentice-Hall, Englewood Cliffs, N.J., 1984.

    Google Scholar 

  9. R. Davis and D. B. Lenat. Knowledge-based Systems in Artificial Intelligence. McGraw-Hill, New York, 1982.

    Google Scholar 

  10. B. Ford and R. M. Iles. The what and why of problem solving environments for scientific computing. In Problem Solving Environments for Scientific Computing, B. Ford and F. Chatelin, eds., North-Holland, Amsterdam, pp. 3–18, 1987.

    Google Scholar 

  11. P. W. Gaffney, C.A. Addison, B. Andersen, S. Bjornestad, R. E. England, P. M. Hanson, R. Pickering and M. G. Thomason. NEXUS: Towards a problem solving environment (PSE) for scientific computing. ACM SIGNUM Newsletter 21, No. 3:13–24, 1986.

    Article  Google Scholar 

  12. P. W. Gaffney, J. W. Wooten, K. A. Kessel and W. R. McKinney. NITPACK: An interactive tree package. ACM Trans. Math. Software, 9:395–417, 1983.

    Article  Google Scholar 

  13. J. H. Gallier. Logic for Computer Science. Harper and Row, New York, 1986.

    Google Scholar 

  14. P. Hazel and M. R. O’Donohoe. Help Numerical: The Cambridge interactive documentation system for numerical methods. In Production and Assessment of Numerical Software, M. A. Hennell and L. M. Delves, eds., Academic Press, London, pp. 367–382, 1980.

    Google Scholar 

  15. M. A. Hennell, L. M. Delves (editors). Production and Assessment of Numerical Software, Academic Press, London, 1980.

    Google Scholar 

  16. E. A. Herman. Mathematica — A Review. Notices of the Amer. Math. Soc., 35:1334–1344, 1988.

    Google Scholar 

  17. P. Laug. Pilotage d’un code modulaire d’éléments finis par un système expert. Rapports de Recherche No. 658. Institut National de Recherche en Informatique et en Automatique, Domaine de Voluceau, Rocquencourt, 1987.

    Google Scholar 

  18. J. R. Rice (editor). Mathematical Software III. Academic Press, New York, 1977.

    Google Scholar 

  19. J. R. Rice (editor). Mathematical Aspects of Scientific Software. Springer, New York, 1988.

    Google Scholar 

  20. J. R. Rice and R. F. Boisvert. Solving Elliptic Problems Using ELLPACK. Springer, New York, 1985.

    Book  Google Scholar 

  21. K. Schittkowski. EMP: An expert system for mathematical programming. Preprint, Mathematisches Institut, Universitat Bayreuth, 1987.

    Google Scholar 

  22. K. Schulze and C. W. Cryer. NAXPERT: A prototype expert system for numerical software. SIAM J. Sci. Stat. Comput., 9:503–515, 1988.

    Article  Google Scholar 

  23. M. V. Wilkes, D. J. Wheeler and S. Gill. The Preparation of Programs for an Electronic Digital Computer, with special reference to the ED SAC and the use of a library of routines. Addison-Wesley, Cambridge, 1951. Reprinted by Tomash Publishers and The MIT Press, 1982.

    Google Scholar 

  24. S. Wolfram. Mathematica. Addison Wesley, Redwood City, Calif., 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Numerische und instrumentelle Mathematik, Westfälische Wilhelms-Universität, Münster, Germany

    C. W. Cryer

Authors
  1. C. W. Cryer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Applied and Computational Mathematics Group, Royal Military College of Science, Shrivenham, Swindon, Wiltshire, UK

    J. C. Mason (Professor of Computational Mathematics) (Professor of Computational Mathematics)

  2. Division of Information Technology and Computing, National Physical Laboratory, Teddington, Middlesex, UK

    M. G. Cox (Senior Principal Scientific Officer) (Senior Principal Scientific Officer)

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Chapman and Hall

About this paper

Cite this paper

Cryer, C.W. (1990). Expert systems for numerical software. In: Mason, J.C., Cox, M.G. (eds) Scientific Software Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0841-3_15

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-0841-3_15

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-6865-9

  • Online ISBN: 978-94-009-0841-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation