Polynomial minimum root separation
Polynomial minimum root separation
The minimum root separation of an arbitrary polynomial <italic>P</italic> is defined as the minimum of the distances between distinct (real or complex) roots of <italic>P</italic>. Some asymptotically good lower bounds for the root separation of <italic>P</italic> are given, where <italic>P</italic> may have multiple zeros. There are applications in the analysis …