OBSOLETE EXPERIMENTAL パッケージ シンボル

ForAllRealQ

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


のすべての実数値に対して,不等式および方程式 ineqs が満足されるか否かを判定する.

詳細詳細

Translate this page: