Archimedean propertyW
Archimedean property
Bitangents of a quarticW
Bitangents of a quartic
Harnack's curve theoremW
Harnack's curve theorem
Moment problemW
Moment problem
Ordered ringW
Ordered ring
Real numberW
Real number
SpectrahedronW
Spectrahedron