This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

 Documentation /  Mathematica /  Das Mathematica Buch /  Mathematica Nachschlageteil /  Experimentelle Kontext-Objekte in Mathematica 4 /

Experimental`ImpliesQExperimental`Minimize

Experimental`ImpliesRealQ

FilledSmallSquare ImpliesRealQ[, ] prüft, ob aus den Ungleichungen und Gleichungen die für alle reellen Werte aller Variablen folgen.

FilledSmallSquare Siehe auch: ForAllRealQ, ExistsRealQ, ImpliesQ, CylindricalAlgebraicDecomposition.

FilledSmallSquare 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.

Experimental`ImpliesQExperimental`Minimize