TY - GEN
T1 - Homogenization: Preparing Equations for Change of Unknown
AU - Bundy, Alan
AU - Silver, B.
PY - 1981
Y1 - 1981
N2 - 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 theequations, problem of generalizing expressions.
AB - 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 theequations, problem of generalizing expressions.
M3 - Conference contribution
SP - 551
EP - 553
BT - Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981
PB - Morgan Kaufmann
ER -