Solving problems by formula manipulation
โ
Louis Hodes
๐
Article
๐
1972
๐
Elsevier Science
๐
English
โ 650 KB
Using formal logic, many iproblems from the general area of linear inequalities co~ be expressed in the elementary theory of addition on the real numbers (EAR). We describe a method for eliminatit~ quantiflers in EAR which has been programmed arm demonstrate its usefulness in solving some problems r