故宫博物院藏书,《御制数理精蕴》,45卷,允祉等编撰,清康熙年内府铜活字本。
此书系清康熙皇帝晚年时接受泰州进士陈厚耀“请定步算诸书以惠天下”之议,于康熙五十一年(1712年)下诏开蒙养斋,并赐梅文鼎之孙梅瑴成举人头衔,充蒙养斋汇编官,会同允祉、允禄等开始编撰,至康熙六十一年(1722年)告成,历时10年之久。