試験的関数パッケージ
EXPERIMENTAL パッケージ シンボル

ImpliesRealQ


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

詳細詳細

Send Feedback
Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now
Buy/Upgrade
New to Mathematica? Find your learning path »
Have a question? Ask support »