QEPCAD Bには複数の入力方法があります.今回は最も実用性の高いと思われるReduce上からの使い方をお話しましょう. このブログでもReduceの1階述語論理パッケージであるRedLogについては一通りのことは書きましたが,RedLogにはマニュアルに記されていない…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。