Mirror modeler: a Web based interactive mathematics modeling system | IEEE Conference Publication | IEEE Xplore