Skip to main content
SpringerLink
Log in
Book cover

International Conference on Artificial Intelligence and Symbolic Mathematical Computing

AISMC 1992: Artificial Intelligence and Symbolic Mathematical Computing pp 96–106Cite as

Intelligent user interfaces for symbolic and numeric computation

  • Conference paper
  • First Online:

  • 172 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 737))

Abstract

We have implemented an intelligent user interface for the symbolic algebra system Macsyma, using a rule-based expert system based on Emycin. The system acts as an intelligent front-end, communicating with a back-end Macsyma sub-process. The rule base of the system has been extended to include knowledge about numerical solutions to problems that Macsyma is unable to solve algebraically, or on request by the user. The system incorporates an on-line documentation brower, and facilities to review and explain the results of a consultation. The system has been written using portable object-oriented programming techniques, based on CLOS and CLX.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. V. Ellen Golden, editor. Proceedings of the 1984 MACSYMA Users' Conference, General Electric, Schenectady N.Y, 1984.

    Google Scholar 

  2. J. Calmet and J. A. van Hultzen. Computer algebra applications. In B. Buchberger G. E. Collins and R. Loos, editors, Computer Algebra, Symbolic and Algebraic Computation, page 245. Springer Verlag, 1983.

    Google Scholar 

  3. M. E. Clarkson. A bibliography of computer algebra references. Artificial Intelligence and Image Analysis Laboratory Technical Report AI/IA-89/2, Institute for Space and Terrestrial Science, 108A Farquharson Bldg., 4700 Keele Street, North York, Ontario, M3J 1P3, 1989.

    Google Scholar 

  4. John Fitch, P. Herbert, and A. C. Norman. Design features of COBALG. In SYMSA C '76: Proceedings of the 1976 A CM Symposium on Symbolic and Algebraic Computation, page 185, New York, 1976. Association for Computing Machinery.

    Google Scholar 

  5. J. S. Kowalik, editor. Coupling Symbolic and Numerical Computing in Expert Systems, New York, 1986. Elsevier Science.

    Google Scholar 

  6. Bruce G. Buchanan and Edward H. Shortliffe, editors. Rule-Based Expert Systems: the MYCIN experiments of the Stanford Heuristic Programming Project. Addison-Welsley, Reading, Masschusetts, 1984.

    Google Scholar 

  7. S. Keene. Object-Oriented Programming in COMMON LISP. Adisson-Wesley, 1988.

    Google Scholar 

  8. P. Schank, J. Constan, C. Liu, L. Rowe, S. Seitz, and B. Smith. PICASSO Reference Manual. Technical report, Computer Science Division, University of California Berkeley, 1990.

    Google Scholar 

  9. L. Rowe, J. Constan, B. Smith, S. Seitz, and C. Liu. The PICASSO application framework. Technical report, Computer Science Division, University of California Berkeley, 1990.

    Google Scholar 

  10. R. W. Scheifler and O. LaMott. CLX programmer's reference. Technical report, Texas Instuments, 1989.

    Google Scholar 

  11. R. C. Waters. The programmer's apprentice: A session with KBEmacs. IEEE Transactions on Software Engineering, 11(11):1296, 1985.

    Google Scholar 

  12. R. F. Boisvert. Toward an intelligent system for mathematical software selection. In Einarsson [18], page 51.

    Google Scholar 

  13. P. Buis, W. Dyksen, and J. Korb. Fortran interface blocks as an interface description language for remote procedure call. In Einarsson [18], page 116.

    Google Scholar 

  14. R. F. Boisvert, S. E. Howe, and D. K. Kahaner. Gams: A framework for the management of scientific software. ACM Transactions on Mathematical Software, 11(4):313, 1985.

    Google Scholar 

  15. M. E. Clarkson. Expert systems as an intelligent user interface for symbolic algebra. In Einarsson [18], page 137.

    Google Scholar 

  16. K.A. Broughan, G. Keady, T. D. Robb, M. G. Richardson, and M. C. Dewar. Some symbolic computing links to the NAG numeric library. SIGSAM Bulletin, page 28, June 1991.

    Google Scholar 

  17. M. E. Clarkson. Praxis: An expert system for macsyma. In International Symposium on Design and Implementation of Symbolic Computation Systems, volume 429 of Lecture Notes in Computer Science, page 264, Berlin-Heidelberg-New York, 1990. Springer-Verlag.

    Google Scholar 

  18. B. Einarsson, editor. Working Conference on Programming Environments for High-Level Scientific Problem Solving (Karlsruhe, Germany), Bergen Scientific Centre, 23–27 September 1991. International Federation for Information Processing, IBM.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Earth and Space Science, York University, M3J 1P3, North York, Ontario, Canada

    Michael E. Clarkson

  2. Centre de Morphologie Mathématique, 35 Rue Saint-Honoré, 77305, Fontainebelau, France

    Michael E. Clarkson

Authors
  1. Michael E. Clarkson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet John A. Campbell

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Clarkson, M.E. (1993). Intelligent user interfaces for symbolic and numeric computation. In: Calmet, J., Campbell, J.A. (eds) Artificial Intelligence and Symbolic Mathematical Computing. AISMC 1992. Lecture Notes in Computer Science, vol 737. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57322-4_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-57322-4_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57322-7

  • Online ISBN: 978-3-540-48063-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation