Quantifier Elimination (QE,限量子消去) を解いてくれるREDUCEのパッケージRedlogを使って大学の入試問題を解いてみます.東工大 1969前期 実数 が次の次の4条件を満たしている: このとき の符号を調べよ.名古屋大 1963前期 正方形とその内部の点がある…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。