Experimental`
Experimental`

ImpliesRealQ

This functionality has been replaced by Resolve and related symbols.

ImpliesRealQ[ineqs1,ineqs2]

tests whether the inequalities and equations ineqs1 imply the ineqs2 for all real values of all variables.

更多信息和选项

Wolfram Research (2007)，ImpliesRealQ，Wolfram 语言函数，https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

文本

Wolfram Research (2007)，ImpliesRealQ，Wolfram 语言函数，https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

CMS

Wolfram 语言. 2007. "ImpliesRealQ." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

APA

Wolfram 语言. (2007). ImpliesRealQ. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html 年

BibTeX

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

BibLaTeX

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