Deep mathematics learning using CAS