Homogenization: Preparing Equations for Change of Unknown

Alan Bundy, B. Silver

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

PRESS is a computer program for solving symbolic, transcendental, non-differential equations. We describe a new equation solving method, called Homogenization, which we have implemented in PRESS. Homogenization prepares equations, so that they can be solved by the Change of Unknown method. It does this by oausing different occurrences of the unknown to occur within identical subterms. The method has application, outside equation solving, to the
equations, problem of generalizing expressions.
Original languageEnglish
Title of host publicationProceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981
PublisherMorgan Kaufmann
Pages551-553
Number of pages3
Publication statusPublished - 1981

Fingerprint

Dive into the research topics of 'Homogenization: Preparing Equations for Change of Unknown'. Together they form a unique fingerprint.

Cite this