antispam@math.uni.wroc.pl schrieb:   
   >   
   > [...]  For transcendental part FriCAS has complete implementation   
   > (based on Axiom).   
      
   There is a problem, however. Many people would consider the FriCAS   
   antiderivative (version 1.3.1):   
      
     integrate(log(x)*log(x^2), x)   
      
     2*x*log(x)^2+(-4)*x*log(x)+4*x   
      
   to be incorrect. It cannot be verified by differentiation on FriCAS,   
   Mathematica, Derive and presumably almost any other system, and its   
   numerical evaluation on these systems differs from that of the mutually   
   consistent and verifiable antiderivatives produced by Mathematica and   
   Derive and presumably other systems:   
      
     INT(LN(x)*LN(x^2), x) = 2*x*(2 - LN(x)) - x*LN(x^2)*(1 - LN(x))   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)