XPost: sci.math.symbolic   
      
   I am trying to write a work report on symbolic simplification, and   
   more implementation details of how this is generally  done in a   
   compiler.   
   'Algebraic simplification: a guide for the perplexed', some papers on   
   Macsyma and other systems have been helpful, but I couldn't find much   
   on simplifiers implemented in compilers/optimizers. If anyone knows of   
   such resources, please let me know. Thank you in advance.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)