Search 7,000+ topics

More on Real Algebraic Systems

Topics in More on Real Algebraic Systems

Numbered in the order to learn them.

  1. Semi-Algebraic Sets (Over Reals)

  2. Euclidean Geometry and the Tarski-Seidenberg Theorem

  3. Decidability of First-Order Theories of the Reals

  4. O-Minimal Theory (Examples)

  5. Wilkie's Theorem

  6. Cylindrical Algebraic Decomposition

  7. Stengle's Positivstellensatz

  8. Phenomena Involving Real Roots and Interlacing

Keep going

Type a concept, like “slope” or “photosynthesis”.

↑ ↓ to choose · Enter to openSearch explanations and problems