Leveraging computer algebra systems in calculus: a case study with SymPy | IEEE Conference Publication | IEEE Xplore