|
Experimental`ExistsRealQ
ExistsRealQ[ungln,  , , ... ] prüft, ob reelle Werte der existieren, für die die Ungleichungen und Gleichungen ungln erfüllt sind.
Siehe auch: ForAllRealQ, ImpliesRealQ, InequalityInstance, Eliminate, 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.
|