2017-02-05から1日間の記事一覧

cineqs4 原理

cineqs4 は「真理値に関する中間値定理」により,原始式同士の結合の様子に立ち入ることなく,系を解いています.すなわち,... 一変数半代数系 F(x) と実数 a,b (a,=, 例えば,f(a)>0はtrue,f(b)>0はfales(つまり,f(b) ⇒F(x) のある原始式 rel(f(x),…