Abstract
We have been studying the problem of solving small systems of symbolic simultaneous equations, of the type found on A level Mathematics exam papers. We have found that Homogenization, described in [Bundy and Silver 81], can be extended to provide a fairly powerful method for solving these problems. The work described here has been implemented as an extension to PRESS, a computer program, written in PROLOG, [Clocksin and Mellish 81], for solving symbolic, transcendental, non-differential equations, described in [Bundy and Welham 81], and [Sterling et al We also discuss the technique of Elimination, and suggest how this might be implemented.
Author supplied keywords
Cite
CITATION STYLE
Silver, B. (1982). The application of Homogenization to simultaneous equations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 138 LNCS, pp. 132–143). Springer Verlag. https://doi.org/10.1007/BFb0000055
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
