Skip to main content
SpringerLink
Log in
Book cover

European Conference on Computer Algebra

EUROCAL 1983: Computer Algebra pp 267–274Cite as

A knowledge-based approach to user-friendliness in symbolic computing

  • System Oriented Applications
  • Conference paper
  • First Online:

  • 144 Accesses

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

Abstract

An experiment in making a symbolic computing system tolerant of technical deficiencies in programming by novice users is outlined. The work uses a knowledge-base of information on general properties of symbolic computations, and a pattern-matcher which can specify instances of relevant properties in a user's program or inputs. Both of these components are implemented in LISP, and have been used in conjunction with REDUCE.

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. J.J. Dongarra and A.R. Hinds, Software — Practice and Experience 9, 219 (1979)

    Google Scholar 

  2. F. Gardin, “DYNPAT User's Manual”, manual M-104, Dept. of Computer Science, University of Exeter (1982)

    Google Scholar 

  3. F. Gardin and J.A. Campbell, in Proc. 1981 Symposium on Symbolic and Algebraic Computation, SYMSAC '81 (ed. P.S. Wang). Association for Computing Machinery, New York (1981), p. 233.

    Google Scholar 

  4. A.C. Hearn, “REDUCE 2 User's Manual”, UCP-19, Computational Physics Group, University of Utah (1973)

    Google Scholar 

  5. M. Metcalf, “FORTRAN Optimization” (Academic Press, London, 1982)

    Google Scholar 

  6. P.D. Pearce and R.J. Hicks, in Proc. 1981 Symposium on Symbolic and Algebraic Computation, SYMSAC '81 (ed. P.S. Wang). Association for Computing Machinery, New York (1981), p. 131.

    Google Scholar 

  7. C. Weissman, “LISP 1.5 Primer” (Dickenson Publishing Co., Belmont, California, 1967).

    Google Scholar 

  8. J. Weizenbaum, Comm. A.C.M. 9, 36 (1966).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Exeter, EX4 4QL, Exeter, England

    F. Gardin & J. A. Campbell

Authors
  1. F. Gardin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. A. Campbell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. van Hulzen

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag

About this paper

Cite this paper

Gardin, F., Campbell, J.A. (1983). A knowledge-based approach to user-friendliness in symbolic computing. In: van Hulzen, J.A. (eds) Computer Algebra. EUROCAL 1983. Lecture Notes in Computer Science, vol 162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12868-9_110

Download citation

  • DOI: https://doi.org/10.1007/3-540-12868-9_110

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-38756-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation