Techniques for visualizing Fermat's last theorem: a case study | IEEE Conference Publication | IEEE Xplore