Using Cas to solve Classical Mathematics Problems - BURKE, Maurice, J. (2009)