Maple and Mathematica

Sommerfeld), and the mathematical tables, exact - lutions, and formulas, published in many mathematical textbooks, were not veri?ed rigorously [25]. Therefore the computers can be used to verify the results obtained by humans, to discovery new results, to - provetheresultsthatahumancanobtainwithoutanytechnology.