Skip to main content
SpringerLink
Log in
Book cover

European Computer Algebra Conference

EUROCAM 1982: Computer Algebra pp 109–116Cite as

Solving symbolic equations with press

  • 3. Abstract Data Types And Revrite Rules
  • Conference paper
  • First Online:

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

Abstract

We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental, non-differential equations. The methods used for solving equations are described, together with the service facilities. The principal technique, meta-level inference, appears to have applications in the broader field of symbolic and algebraic manipulation.

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. Borning, A and Bundy, A. Using matching in algebraic equation solving. In Schank, R., editor, IJCAI7, pages pp 466–471. International Joint Conference on Artificial Intelligence, 1981. Also available from Edinburgh as DAI Research Paper No. 158.

    Google Scholar 

  2. Bundy, A. and Silver, B. Homogenization: Preparing Equations for Change of Unknown. In Schank, R., editor, IJCA17. International Joint Conference on Artificial Intelligence, 1981. Longer version available from Edinburgh as DAI Research Paper No. 159.

    Google Scholar 

  3. Bundy, A. and Welham, B. Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Artificial Intelligence 16(2), 1981.

    Google Scholar 

  4. Bundy, A., Byrd, L., Luger, G., Mellish, C., Milne, R. and Palmer, M. Solving Mechanics Problems Using Meta-Level Inference. In Procs of the sixth. IJCAI, Tokyo, 1979. Also available from Edinburgh as DAI Research Paper No. 112.

    Google Scholar 

  5. Bundy, A. A Generalized Interval Package and its use for Semantic Checking. Working Paper 86, Dept. of Artificial Intelligence, Edinburgh, March, 1981.

    Google Scholar 

  6. Clocksin, W.F. and Mellish, C.S. Programming in Prolog. Springer Verlag, 1981.

    Google Scholar 

  7. Mathlab Group. MACSYMA Reference Manual. Technical Report, MIT, 1977.

    Google Scholar 

  8. Silver, B. The application of Homogenization to simultaneous equations. Research Paper 166, Dept. of Artificial Intelligence, Edinburgh, 1981. To appear in Proceedings of CADE-6, 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, University of Edinburgh, UK

    Leon Sterling, Alan Bundy, Lawrence Byrd, Richard O'Keefe & Bernard Silver

Authors
  1. Leon Sterling
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alan Bundy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lawrence Byrd
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Richard O'Keefe
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bernard Silver
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sterling, L., Bundy, A., Byrd, L., O'Keefe, R., Silver, B. (1982). Solving symbolic equations with press. In: Calmet, J. (eds) Computer Algebra. EUROCAM 1982. Lecture Notes in Computer Science, vol 144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11607-9_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-11607-9_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11607-3

  • Online ISBN: 978-3-540-39433-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation