Tarski-Seidenberg theorem

专有名词

英文释义

专有名词
  1. 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.

词形变化

the Tarski-Seidenberg theorem canonical

词源

Named after Alfred Tarski and Abraham Seidenberg.
0 次浏览 数据来源: Wiktionary