2013-03-20から1日間の記事一覧
と言うわけで,Examples/prover9.ml にある PROVER9 とのインターフェイスを定理リスト参照型のプルーバー PV9,および,タクティック PV9_TAC として実装すると...コーシー・ラグランジュの恒等式 # let ths = [REAL_POW_2; REAL_ADD_LDISTRIB; REAL_ADD…
と言うわけで,Examples/prover9.ml にある PROVER9 とのインターフェイスを定理リスト参照型のプルーバー PV9,および,タクティック PV9_TAC として実装すると...コーシー・ラグランジュの恒等式 # let ths = [REAL_POW_2; REAL_ADD_LDISTRIB; REAL_ADD…