Computer assistance in discovering formulas and theorems in system engineering. II

For pt. I see Conf. on Decision and Control 1995. That part concerned the development of a highly computer assisted method for “discovering” certain types of formulas and theorems. It is often the case that some variables in the formulation of a problem are not the natural “coordinates” for solution of the problem. Grobner basis algorithms, which lie at the core of our method, are very good at eliminating unknowns, but have no way of finding good changes of variables. This paper gives a way of incorporating changes of variables into our method. As an example, we “discover” equations of H ^∞ control