New in Wolfram Mathematica 7: Transcendental Roots  previous | next 
Solve Real Systems Involving Exp-Log Functions
Find the real solution set of a system involving Exp and Log.
In[1]:=

Click for copyable input
Reduce[E^x y^3 + y Log[x] > 3 x, {x, y}, Reals]
Out[1]=