OBSOLETE EXPERIMENTAL パッケージ シンボル

ImpliesRealQ

この機能の代りにResolveおよび関連したシンボルが使われるようになった.


すべての変数のすべての実数に対して不等式および方程式 を含意するか否かを判定する.

詳細詳細

Translate this page: