Iteris: Agentic Research Loops for Computational Mathematics — Leheng Chen, Zihao Liu, Wanyi He, Bin Dong | Kutubxona