From: fateman@cs.berkeley.edu   
      
   On 9/20/2017 8:41 PM, Nasser M. Abbasi wrote:   
   >   
   > How is it possible that CAS can evaluate an integral   
   > symbolically when it is definite, but not able to   
   > when it is indefinite? This is all symbolic integration,   
   > not numerical ofcourse.   
   >   
   The methods for definite integration include quite   
   different approaches like contour integration and evaluation   
   of residues, and so a system may find a definite integral   
   when an indefinite one cannot be found. (Or indeed   
   when there is no closed form in terms of known functions   
   for the indefinite integral.)  There are also   
   simplifications of definite integrals based on symmetry.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)