2011-06-14から1日間の記事一覧
これまでの考察により F(a,x) が a(∈R^n),x(∈R) についての実係数多項式 f_j(a,x) (j=1,...,M) を左辺,0 を右辺とする方程式や不等式を ∧ や ∨ で結合した論理式のとき ∃x F(a,x) や ∃x F(a,x) を満たす a 全体の集合を a についての実係数多項式 g_i(a) (i…
これまでの考察により F(a,x) が a(∈R^n),x(∈R) についての実係数多項式 f_j(a,x) (j=1,...,M) を左辺,0 を右辺とする方程式や不等式を ∧ や ∨ で結合した論理式のとき ∃x F(a,x) や ∃x F(a,x) を満たす a 全体の集合を a についての実係数多項式 g_i(a) (i…