現実と数学の区別が付かない

数学ネタのブログです

2020-11-09から1日間の記事一覧

Redlog 使ってみた

Quantifier Elimination (QE,限量子消去) を解いてくれるREDUCEのパッケージRedlogを使って大学の入試問題を解いてみます.東工大 1969前期 実数 が次の次の4条件を満たしている: このとき の符号を調べよ.名古屋大 1963前期 正方形とその内部の点がある…