△《御定数理精蕴》·五十三卷
康熙五十二年圣祖仁皇帝《御定律历渊源》之第二部也。上编五卷,曰立纲明体,其别有五。曰数理本源,曰河图,曰洛书,曰周髀经解,曰几何原本,曰算法原本。下编四十卷,曰分条致用,其别亦有五。曰首部,曰线部,曰面部,曰里部,曰末部。又表八卷,其别有四。曰八线表,曰对数阐微表,曰对数表,曰八线对数表。皆通贯中西之异同,而辨订古今之长短。如旧传方程分二色为一法,三色为一法,四色、五色以上为一法,头绪纷然。所立假如仅可施之本例,而不可移之他处。至於正负加减法,实并分母诸例,率皆谬误。今则约之为和数、较数、和较兼用、和较加变四例,而和数不分正负,较数任以一色为正,即以相当之一色为负,皆以异名相并,同名相减,实足正旧法之讹误。又割圆术古以径一围三为周径之率,宋祖冲之用圆容六边起算,元赵友钦用圆容四边起算,皆屡求勾股,得径一者周三一四一五九六二五。泰西法亦同其率。古今周率之密,无逾於此。而旧所传弧矢诸术,周径皆用古率,又弧弦弦背互求诸术,立法极为疏舛。今则以六宗三要二简法求得一象限内弦矢割切正馀八线,立为一表,洵极勾股弧矢之变。又《几何原本》止於测面,七卷以下,徐光启、李之藻后无译之者。《新法算书》,往往有杂引之处,读者未之能详。且理分中末线,但有求作之法,而莫知所用。今则求得各等面体及求内容外切各等面体之积,至十二等面及二十等面之体,皆以理分中末线为之比例,足以补测量全义量体诸率之简略。至末部借根方法,即古立天元一之术,唐宋诸算家咸用之。至明而失传,是以顾应祥、唐顺之於元李冶《测圆海镜》一书所立天元一皆茫然不解。今则具明其加减乘除之例,而后根与平方以下诸乘方之多少者咸得其开法,与古所云带纵立方三乘方诸变同归一揆。且线面体一以贯之,而本法所不能求者,皆可以借根而得,至为精妙。他若对数表以假数、求真数,比例规解以量代算,皆西法之迥异於中法者,咸为疏通证明,绘图立表,粲然毕备。实为从古未有之书。虽专门名家,未能窥高深於万一也。
《九圜史图》·一卷、附《六匌曼》·一卷(浙江汪启淑家藏本)明赵宧光撰。宧光有《说文长笺》,已著录。又著有《图志谱考辨说》
《原本革象新书》·五卷(永乐大典本)不著撰人名氏。宋濂作序,称赵缘督先生所著。先生鄱阳人,隐遯自晦,不知其名若字。或曰名
《历算全书》·六十卷(浙江汪启淑家藏本)国朝梅文鼎撰。文鼎字定九,宣城人。笃志嗜古,尤精历算之学。康熙四十一年,大学士李
《测圆海镜分类释术》·十卷(浙江范懋柱家天一阁藏本)明顾应祥撰。应祥有《人代纪要》,已著录。李冶《测圆海镜》所设一百七十
《晓菴新法》·六卷(山东巡抚采进本)国朝王锡阐撰。锡阐字寅旭,号馀不,又号晓菴,又号天同一生,吴江人。是书前一卷述勾股割
《乾坤体义》·二卷(两江总督采进本)明利玛窦撰。利玛窦,西洋人。万历中航海至广东,是为西法入中国之始。利玛窦兼通中西之文
《益古演段》·三卷(永乐大典本)元李冶撰。据至元壬午砚坚序,称冶《测圆海镜》既已刻梓,其亲旧省掾李师徵,复命其弟师珪请冶
《六经天文编》·二卷(直隶总督采进本)宋王应麟撰。应麟有《郑氏周易注》,已著录。是编裒六经之言天文者,以《易》、《书》、
《五经算术》·二卷(永乐大典本)北周甄鸾撰,唐李淳风注。鸾精於步算,仕北周为司隶校尉、汉中郡守。尝释《周髀》等算经,不闻
《星经》·二卷(两江总督采进本)不著撰人名氏。晁公武《读书志》载《甘石星经》一卷,注曰汉甘公石申撰。以日月、五星、三垣、
《缉古算经》·一卷(吏部侍郎王杰家藏本)唐王孝通撰。其结衔称通直郎太史丞。其始末未详。惟《旧唐书·律历志》“戊寅历”条下
《少广补遗》·一卷(两江总督采进本)国朝陈世仁撰。世仁,海宁人。康熙乙未进士。其书以一面尖堆及方底、三角底、六角底、尖堆
《盖载图宪》·一卷(编修励守谦家藏本)明许胥臣撰。胥臣有《禹贡广览》,已著录。是书以天图为盖,地图为载,大意以天文藉图不
《弧矢算术》·一卷(浙江范懋柱家天一阁藏本)明顾应祥撰。弧矢之法,始于元郭守敬《授时历草》。其有弧背求矢草,立天元一为矢
《中星谱》·一卷(浙江巡抚采进本)国朝胡亶撰。亶号励斋,仁和人。王晫《今世说》称其博综群书,尤精天官家言,日月薄蚀,星辰
《夏侯阳算经》·三卷(永乐大典本)案《隋·经籍志》有夏侯阳《算经》二卷,《唐·艺文志》列夏侯阳《算经》一卷,而直斋《书录
《象纬汇编》·二卷(浙江范懋柱家天一阁藏本)明韩万锺撰。万锺,蕲州人。是书成於嘉靖壬辰。采丹元子《步天歌》逐段分释,并为
《星象考》·一卷(编修程晋芳家藏本) 原本题宋邹淮撰。后有魏了翁跋,称淮以进士提领造历所,演算历书,其所撰载如此云云。考
《七政推步》·七卷(浙江范懋柱家天一阁藏本)明南京钦天监监副贝琳修辑。即焦竑《国史经籍志》所载玛沙伊赫之回回历也。考《明
《几何论约》·七卷(内府藏本)国朝杜知耕撰。知耕字临甫,号伯瞿,柘城人。是书取利玛窦与徐光启所译《几何原本》复加删削,故