Exploring Math from Algebra to Calculus with Derive, A Mathematical Assistant