Quadratic equations over the reals
For a real equation with a nonzero quadratic coefficient, the discriminant classifies its distinct real roots. The equation, root set, and repeated roots are kept distinct.
atlas-quadratic-equation · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
For a real equation with a nonzero quadratic coefficient, the discriminant classifies its distinct real roots. The equation, root set, and repeated roots are kept distinct.
atlas-quadratic-equation · canonical_mko