There's also *Modern Differential Geometry of Curves and Surfaces with Mathematica* by Alfred Gray.