Learning through computer algebra