Edinburgh Research Explorer

Homogenization: Preparing Equations for Change of Unknown

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://ijcai.org/Past%20Proceedings/IJCAI-81-VOL%201/PDF/099.pdf
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
StatePublished - 1981

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.

Download statistics

No data available

ID: 16657319