Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher | IEEE Conference Publication | IEEE Xplore