Tarski-Seidenberg theorem
plural of double vertical line
Of, pertaining to or produced by trypsin
(mathematics) 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.
plural of polarisation
実代数幾何学で定義可能な集合を研究するとき、タルスキ＝セイデンベルクの定理は、多項式の等式や不等式で定義される(n+1)次元の半代数集合を射影してn次元に落としても、その多項式による記述が保たれることを可能にする。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
