SWIMS (Speech-Based Web Interface for Mathematics Using Statistical Language Models): An Intelligent Editing Assistant for Mathematical Text | IEEE Conference Publication | IEEE Xplore