Solving symbolic equations with press

  • Leon Sterling
  • Alan Bundy
  • Lawrence Byrd
  • Richard O'Keefe
  • Bernard Silver
3. Abstract Data Types And Revrite Rules

DOI: 10.1007/3-540-11607-9_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 144)
Cite this paper as:
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

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.

Keywords

equation solving rewrite rules meta-level inference logic programming 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1982

Authors and Affiliations

  • Leon Sterling
    • 1
  • Alan Bundy
    • 1
  • Lawrence Byrd
    • 1
  • Richard O'Keefe
    • 1
  • Bernard Silver
    • 1
  1. 1.Department of Artificial IntelligenceUniversity of EdinburghUK

Personalised recommendations