2019年4月28日，52届数学系校友王元院士惠赠文库《微积分（及习题解）》手稿一部、大作签名本《算法数论：格、数域、曲线和密码学》一部。
王元院士，1952年毕业于浙大数学系，经陈建功与苏步青先生推荐到中国科学院数学研究所工作，在华罗庚先生指导下研究数论。曾任数学研究所所长与中国数学会理事长。
20世纪50年代至60年代初，首先在中国将筛法用于哥德巴赫猜想研究，并证明了命题（3,4），1957年，证明了（2,3），这是中国学者首次在此研究领域跃居世界领先地位，其成果为国内外有关文献频繁应用。
1973年与华罗庚合作证明了用分圆域的独立单位系构造高维单位立方体的一致分布点贯的一般定理，被国际学术界成为“华—王方法”。
20世纪80年代在丢番图分析方面，将施密特定理推广到任何代数数域，即在丢番图不等式组等方面做出先进的工作。