WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

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

不等式および方程式 ineqs を満足する xi の実数値が存在するか否かを判定する．

詳細とオプション
Details and Options Details and Options
関連項目
引用書式
Experimental`
Experimental`

ExistsRealQ

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

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

不等式および方程式 ineqs を満足する xi の実数値が存在するか否かを判定する．

詳細とオプション

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

テキスト

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2025_existsrealq, author="Wolfram Research", title="{ExistsRealQ}", year="2007", howpublished="\url{https://reference.wolfram.com/language/Experimental/ref/ExistsRealQ.html}", note=[Accessed: 02-May-2026]}

BibLaTeX

@online{reference.wolfram_2025_existsrealq, organization={Wolfram Research}, title={ExistsRealQ}, year={2007}, url={https://reference.wolfram.com/language/Experimental/ref/ExistsRealQ.html}, note=[Accessed: 02-May-2026]}