Homogenization: Preparing Equations for Change of Unknown

Bundy, Alan; Silver, Bernard

Homogenization: Preparing Equations for Change of Unknown

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 551-552.

Abstract

PRESS is a computer program for solving symbolic, transcendental, non-differential equations, [3]. 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 causing different occurrences of the unknown to occur within identical subterms. The method has application, outside equation solving, to the problem of generalizing expressions.

Alan Bundy, and Bernard Silver. 1981. Homogenization: Preparing Equations for Change of Unknown. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 551–552. https://ijcai.org/proceedings/1981/103

@inproceedings{ijcai1981p103,
  title     = {Homogenization: Preparing Equations for Change of Unknown},
  author    = {Bundy, Alan and Silver, Bernard},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {551--552},
  year      = {1981},
  month     = {8},
  note      = {Theorem Proving},
  url       = {https://ijcai.org/proceedings/1981/103},
}

TY  - CPAPER
TI  - Homogenization: Preparing Equations for Change of Unknown
AU  - Bundy, Alan
AU  - Silver, Bernard
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 551
EP  - 552
UR  - https://ijcai.org/proceedings/1981/103
ER  -