Conventional equation solving and optimization techniques for solving
the phase stability problem may fail to converge or may converge to an
incorrect result. A technique for solving the problem with mathematical
certainty is needed. One approach to providing such assurance can be found
in the use of interval methods. An interval Newton/generalized bisection
technique is applied here to solve the phase stability problem. Results
for two models of liquid-phase systems, using several different feed compositions,
indicate that the technique used is reliable and very efficient.
AIChE Symp. Ser., 91(304), 356-359 (1995)