A Framework for Symbolic Programming in Mathematical Problem Solving | IEEE Conference Publication | IEEE Xplore