Axiom says that pi^e > e^pi:

%pi ^ %e - %e ^ %pi > 0

   There are 4 exposed and 1 unexposed library operations named < 
      having 2 argument(s) but none was determined to be applicable. 
      Use HyperDoc Browse, or issue
                                )display op <
      to learn more about the available operations. Perhaps 
      package-calling the operation or using coercions on the arguments
      will allow you to apply the operation.

   Cannot find a definition or applicable library operation named < 
      with argument type(s) 
                             NonNegativeInteger
                             Expression(Integer)

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

However it's false:

%pi ^ %e - %e ^ %pi + 0.0

(1)

Status: open => duplicate

Category: Axiom Mathematics => Axiom Library