Stream: math-comp users

Topic: degree 2 polynomials


view this post on Zulip Pierre Roux (Apr 21 2023 at 14:06):

Do we have the usual high school results about (single variable) degree 2 polynomials somewhere? (I didn't found them in poly.v)
Im looking specifically for 0 <= a -> (forall x, 0 <= a * X^2 + b * X + c) -> b^2 <= 4 * a * c


Last updated: Jul 15 2024 at 19:01 UTC