Are the largest roots of a random polynomial real?
Find the limiting probability that the largest roots of a random polynomial with Gaussian coefficients are all real.
Find the limiting probability that the largest roots of a random polynomial with Gaussian coefficients are all real.
shoal-catalog changed this problem (d1cbb60b3b19). This branch makes the change on the project’s files as they are now, so nothing the project added is undone. Merge what still holds.