From: Albert_Rich@msn.com   
      
   On Wednesday, March 11, 2020 at 6:22:34 AM UTC-10, anti...@math.uni.wroc.pl   
   wrote:   
   > [...]   
   >    
   > And of course, having no better method one could use Rubi way:   
   > add lookup table and retrive precomputed answer from the table.   
   >    
   > --    
   >                               Waldek Hebisch   
      
   Rubi does NOT use a lookup table of specific precomputed integrals.  Rather it   
   uses generic reduction and terminal rules to iteratively integrate large   
   classes of expressions.  For example, when Martin presents a specific example   
   Rubi cannot integrate,    
   it usually leads to a generic rule able to produce optimal antiderivatives for   
   the whole class of integrands for which the example is a special case.   
      
   Instead of using rule-based integration when there is “no better method”,   
   I contend it should be used BEFORE resorting to advanced methods like Risch.    
   There are numerous advantages of a properly implemented rule-based integrator:   
      
   1. If a rule does apply, the optimal antiderivative will quickly and reliably   
   be found.   
   2. Rule-based systems can show the rules applied and the resulting   
   intermediate steps.   
   3. The rules are self-contained and easily verified by differentiation.   
   4. The individual rules are elementary in nature and thus comprehensible to   
   mere humans, like first year calculus students.   
   5. This makes rule-based systems great pedagogical tools in the classroom.   
   6. Rules can be developed, debugged and tested in a modular fashion rather   
   than as a monolith.   
   7. Holes in the rule-based decision tree point to where new mathematical   
   knowledge (in this case, integration formulas) is crying out to be discovered.   
   8. It’s quickly determined when no rule applies, so the delay in resorting   
   to advanced methods is negligible, especially compared to the amount time such   
   methods often require.   
      
   Albert   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)