Tarski-Seidenberg theorem en · PROPN
Etymology
Named after Alfred Tarski and Abraham Seidenberg.
Meanings
- A theorem stating that a set in (n + 1)-dimensional space defined by polynomial equations and inequalities can be projected down onto n-dimensional space, and the resulting set is still definable in terms of polynomial identities and inequalities.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Tarski-Seidenberg theorem | canonical | lexicographic |