Using CAS to Solve Classical Mathematics Problems