Remarks on Automatic Algorithm Stabilization

This note is about a methodology utilizing inexact computation in conjunction with exact computation where the exact input is known and exact output is desired. The inexact computation is used to help avert the growth of intermediate expressions. This growth frequently makes using exact computation infeasible. We mention several existing applications and also mention where the methodology is not useful. We propose new directions where one can make effective use of the stabilization methodology.