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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
Bundy, A. and Welham, B. Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Artificial Intelligence 16(2), 1981.
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.
Bundy, A. A Generalized Interval Package and its use for Semantic Checking. Working Paper 86, Dept. of Artificial Intelligence, Edinburgh, March, 1981.
Clocksin, W.F. and Mellish, C.S. Programming in Prolog. Springer Verlag, 1981.
Mathlab Group. MACSYMA Reference Manual. Technical Report, MIT, 1977.
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.
Author information
Authors and Affiliations
Editor information
Rights 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