Post date: Mar 18, 2012 9:3:33 PM
Using examples of interest from real problems, we will discuss the Dixon-EDF resultant as a method for symbolic solution of parametric polynomial systems. We will briefly describe the method itself, then discuss problems arising in Nash equilibria, geometric computing, flexibility of molecules, chemical reactions, global positioning systems, operations research, and others. We will compare Dixon-EDF to
several implementations of Groebner bases algorithms on several systems. We find that Dixon-EDF is greatly superior.