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.

Details and Options

Wolfram Research (2007), ImpliesRealQ, Wolfram Language function, https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

Text

Wolfram Research (2007), ImpliesRealQ, Wolfram Language function, https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

CMS

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

APA

Wolfram Language. (2007). ImpliesRealQ. Wolfram Language & System Documentation Center. Retrieved from 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: 02-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: 02-January-2025 ]}