A Web registry for publishing and discovering mathematical services | IEEE Conference Publication | IEEE Xplore