simpl_proj.mws The Simplification Project (Abstract) Goals of the Project Selected Examples Global Simplification Elementary Functions Inferred Assumptions Sums and Integrals