Experimental`
Experimental`

ForAllRealQ

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

ForAllRealQ[ineqs,{x1,x2,…}]

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

詳細とオプション

  • ForAllRealQを使うためには，まず試験的関数パッケージをロードしなくてはならない．それにはNeeds["Experimental`"]を実行する必要がある．
Wolfram Research (2007), ForAllRealQ, Wolfram言語関数， https://reference.wolfram.com/language/Experimental/ref/ForAllRealQ.html.

テキスト

Wolfram Research (2007), ForAllRealQ, Wolfram言語関数， https://reference.wolfram.com/language/Experimental/ref/ForAllRealQ.html.

CMS

Wolfram Language. 2007. "ForAllRealQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/Experimental/ref/ForAllRealQ.html.

APA

Wolfram Language. (2007). ForAllRealQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/Experimental/ref/ForAllRealQ.html

BibTeX

@misc{reference.wolfram_2024_forallrealq, author="Wolfram Research", title="{ForAllRealQ}", year="2007", howpublished="\url{https://reference.wolfram.com/language/Experimental/ref/ForAllRealQ.html}", note=[Accessed: 06-January-2025 ]}

BibLaTeX

@online{reference.wolfram_2024_forallrealq, organization={Wolfram Research}, title={ForAllRealQ}, year={2007}, url={https://reference.wolfram.com/language/Experimental/ref/ForAllRealQ.html}, note=[Accessed: 06-January-2025 ]}