Mathematica 9 is now available

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

Experimental`MinimizeExperimental`ValueFunction

Experimental`Resolve

FilledSmallSquare Resolve[ausdr] versucht, Quantoren in ausdr zu eliminieren.

FilledSmallSquare Resolve kann mit Quantoren der Form Exists[x, bedingung, ausdr] und ForAll[x, bedingung, ausdr] umgehen.

FilledSmallSquare Exists[x, c, ausdr] kann in der Form eingegeben werden.

FilledSmallSquare ForAll[x, c, ausdr] kann in der Form eingegeben werden.

FilledSmallSquare Variablenlisten können in Exists und ForAll verwendet werden.

FilledSmallSquare Die Algorithmen von Resolve werden automatisch in FullSimplify eingesetzt.

FilledSmallSquare Siehe auch: CylindricalAlgebraicDecomposition, FullSimplify.

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`MinimizeExperimental`ValueFunction



Any questions about topics on this page? Click here to get an individual response.Buy NowMore Information
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.