Solving symbolic equations with press
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.
Keywordsequation solving rewrite rules meta-level inference logic programming
Unable to display preview. Download preview PDF.
- [Borning and Bundy 81]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
- [Bundy and Silver 81]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
- [Bundy and Welham 81]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
- [Bundy et al 79]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
- [Bundy 81]Bundy, A. A Generalized Interval Package and its use for Semantic Checking. Working Paper 86, Dept. of Artificial Intelligence, Edinburgh, March, 1981.Google Scholar
- [Clocksin and Mellish 81]Clocksin, W.F. and Mellish, C.S. Programming in Prolog. Springer Verlag, 1981.Google Scholar
- [Mathlab 77]Mathlab Group. MACSYMA Reference Manual. Technical Report, MIT, 1977.Google Scholar
- [Silver 81]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