2012-01-11から1日間の記事一覧
前回の結果をより簡明に表すなら g`~(?x y:num. &x / &y = sqrt (&2) )`;;let lemma01=MESON[real_div; REAL_INV_0; REAL_MUL_RZERO]`x / y = z /\ y = &0 ==> z = &0`;; let lemma02=REAL_FIELD`x / y = z /\ ~(y = &0) ==> x = y * z`;; let lemma012=MESO…
前回の結果をより簡明に表すなら g`~(?x y:num. &x / &y = sqrt (&2) )`;;let lemma01=MESON[real_div; REAL_INV_0; REAL_MUL_RZERO]`x / y = z /\ y = &0 ==> z = &0`;; let lemma02=REAL_FIELD`x / y = z /\ ~(y = &0) ==> x = y * z`;; let lemma012=MESO…