CHAPTER 8 CONCLUSIONS AND RECOMMENDATIONS The algorithms developed for the GENIE system allow an automatic generation of solution procedures for sets of indexed equations. Computer programs have been written which acutally make the solution procedure generation automatic. The GENIE system adds to the GENDER system not only the ability to analyze indexed equations, but also the ability to estimate the convergence characteristics of a proposed solution procedure. For a distillation model, a typical chemical engineering problem, a solution procedure was automatically generated. Two different problems were to be solved using this model. The proposed solution procedure was found to be acceptable for one of the problems, and, in fact, did solve that problem. For the second problem, differing from the first in numerical characteristics, the solution procedure was determined to be unacceptable. The solution procedure was then modified in an attempt to make it acceptable. The new solution procedure was found to be acceptable and did solve the problem. GENIE, then, demonstrated the ability to analyze the numerical, as well as structural, properties of a set of indexed equations. The algorithms developed for indexed equations are not restricted, in application, to indexed equations. Non-indexed equations could be