|
Experimental`ForAllRealQ
ForAllRealQ[ungln,  , , ... ] prüft, ob für alle reellen Werte der die Ungleichungen und Gleichungen ungln erfüllt sind.
Siehe auch: ExistsRealQ, ImpliesRealQ, SolveAlways, CylindricalAlgebraicDecomposition.
Bitte beachten: Dies ist eine experimentelle Eigenschaft, und in zukünftigen Versionen von Mathematica wird sie vielleicht nicht mehr unterstützt oder erhält eine andere Spezifikation.
|