Skip to main content
SpringerLink
Log in
Book cover

International Conference on Automated Deduction

CADE 1982: 6th Conference on Automated Deduction pp 132–143Cite as

The application of Homogenization to simultaneous equations

  • Conference paper
  • First Online:

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

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.

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. Bundy, A. and Silver, B. Homogenization: Preparing Equations for Change of Unknown. In Schank, R., editor, IJCAI7. International Joint Conference on Artificial Intelligence, 1981. Longer version available from Edinburgh as DAI Research Paper No. 159.

    Google Scholar 

  2. 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 

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

    Google Scholar 

  4. Conte, S.D. and de Boor, C. Elementary Numerical Analysis. McGraw-Hill Kogakusha, 1972.

    Google Scholar 

  5. Sterling, L., Bundy, A., Byrd, L., O'Keefe, R., and Silver, B. Solving Symbolic Equations with PRESS. Research Paper 171, Dept. of Artificial Intelligence, Edinburgh, 1982. To appear in EUROCAM 1982 Proceedings.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Bernard Silver

Authors
  1. Bernard Silver
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

D. W. Loveland

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Silver, B. (1982). The application of Homogenization to simultaneous equations. In: Loveland, D.W. (eds) 6th Conference on Automated Deduction. CADE 1982. Lecture Notes in Computer Science, vol 138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000055

Download citation

  • DOI: https://doi.org/10.1007/BFb0000055

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11558-8

  • Online ISBN: 978-3-540-39240-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation