ThmDex – An index of mathematical definitions, results, and conjectures.
Result R5613 on D6235: Real matrix Rayleigh quotient
Tight upper and lower bounds for the value of a real polynomial of two variables given that the arguments lie on the unit circle