Supporting Mathematical Education with Interactive Visual Proofs | IEEE Conference Publication | IEEE Xplore