△《御定数理精蕴》·五十三卷
康熙五十二年圣祖仁皇帝《御定律历渊源》之第二部也。上编五卷,曰立纲明体,其别有五。曰数理本源,曰河图,曰洛书,曰周髀经解,曰几何原本,曰算法原本。下编四十卷,曰分条致用,其别亦有五。曰首部,曰线部,曰面部,曰里部,曰末部。又表八卷,其别有四。曰八线表,曰对数阐微表,曰对数表,曰八线对数表。皆通贯中西之异同,而辨订古今之长短。如旧传方程分二色为一法,三色为一法,四色、五色以上为一法,头绪纷然。所立假如仅可施之本例,而不可移之他处。至於正负加减法,实并分母诸例,率皆谬误。今则约之为和数、较数、和较兼用、和较加变四例,而和数不分正负,较数任以一色为正,即以相当之一色为负,皆以异名相并,同名相减,实足正旧法之讹误。又割圆术古以径一围三为周径之率,宋祖冲之用圆容六边起算,元赵友钦用圆容四边起算,皆屡求勾股,得径一者周三一四一五九六二五。泰西法亦同其率。古今周率之密,无逾於此。而旧所传弧矢诸术,周径皆用古率,又弧弦弦背互求诸术,立法极为疏舛。今则以六宗三要二简法求得一象限内弦矢割切正馀八线,立为一表,洵极勾股弧矢之变。又《几何原本》止於测面,七卷以下,徐光启、李之藻后无译之者。《新法算书》,往往有杂引之处,读者未之能详。且理分中末线,但有求作之法,而莫知所用。今则求得各等面体及求内容外切各等面体之积,至十二等面及二十等面之体,皆以理分中末线为之比例,足以补测量全义量体诸率之简略。至末部借根方法,即古立天元一之术,唐宋诸算家咸用之。至明而失传,是以顾应祥、唐顺之於元李冶《测圆海镜》一书所立天元一皆茫然不解。今则具明其加减乘除之例,而后根与平方以下诸乘方之多少者咸得其开法,与古所云带纵立方三乘方诸变同归一揆。且线面体一以贯之,而本法所不能求者,皆可以借根而得,至为精妙。他若对数表以假数、求真数,比例规解以量代算,皆西法之迥异於中法者,咸为疏通证明,绘图立表,粲然毕备。实为从古未有之书。虽专门名家,未能窥高深於万一也。
《天经或问后集》·(无卷数,福建巡抚采进本)国朝游艺撰。艺有《天经或问前集》,已著录。是编复发明天象以广所未备。首述前人
《九章算术》·九卷(永乐大典本)谨案《九章算术》,盖《周礼》保氏之遗法,不知何人所传。《永乐大典》引《古今事通》曰:王孝
《青罗历》·(无卷数,浙江范懋柱家天一阁藏本)不著撰人名氏。考陈振孙《直斋书录解题》云,《青罗立成历》一卷,司天监朱凤奏
《御定历象考成》·四十二卷康熙五十二年圣祖仁皇帝《御定律历渊源》之第一部也。案推步之术,古法无徵,所可考者,汉太初术以下
《勾股述》·二卷(浙江吴玉墀家藏本)国朝陈訏撰。訏有《勾股引蒙》,已著录。因其中和较之法未备,复述此以举其概。前有黄宗羲
《同文算指前编》·二卷、《通编》·八卷(两江总督采进本)明李之藻演西人利玛窦所译之书也。前编上、下二卷,言笔算定位、加减
《新法算书》·一百卷(编修陈昌齐家藏本)明大学士徐光启、太仆寺少卿李之藻、光禄卿李天经及西详人龙华民、邓玉函、罗雅谷、汤
《测量法义》·一卷、《测量异同》·一卷、《勾股义》·一卷(两江总督采进本)明徐光启撰。首卷演利玛窦所译,以明勾股测量之义
《数度衍》·二十四卷、附录一卷(两江总督采进本)国朝方中通撰。中通字位伯,桐城人。明检讨以智之子也。以智博极群书,兼通算
《天问略》·一卷(两江总督采进本)明万历乙卯,西洋人阳玛诺撰。是书於诸天重数,七政部位,太阳节气,昼夜永短,交食本原,地
《御定数理精蕴》·五十三卷康熙五十二年圣祖仁皇帝《御定律历渊源》之第二部也。上编五卷,曰立纲明体,其别有五。曰数理本源,
《天步真原》·一卷(浙江汪启淑家藏本)国朝薛凤祚所译西洋穆尼阁法也。凤祚有《圣学心传》,已著录。顺治中,穆尼阁寄寓江宁,
《御定仪象考成》·三十二卷乾隆九年奉敕撰。乾隆十七年告成,御制序文颁行。卷首上下为御制玑衡抚辰仪。卷第一之十三为总纪恒星
《晓菴新法》·六卷(山东巡抚采进本)国朝王锡阐撰。锡阐字寅旭,号馀不,又号晓菴,又号天同一生,吴江人。是书前一卷述勾股割
《孙子算经》·三卷(永乐大典本)案《隋书·经籍志》有《孙子算经》二卷,不著其名,亦不著其时代。《唐书·艺文志》称李淳风注
《周髀算经》·二卷、《音义》·一卷(永乐大典本)案《隋书·经籍志·天文类》,首列《周髀》一卷,赵婴注。又一卷,甄鸾重述。
《中星谱》·一卷(浙江巡抚采进本)国朝胡亶撰。亶号励斋,仁和人。王晫《今世说》称其博综群书,尤精天官家言,日月薄蚀,星辰
《简平仪说》·一卷(两江总督采进本)明西洋人熊三拔撰。据卷首徐光启序,盖尝参证於利玛窦者也。大旨以视法取浑圆为平圆,而以
《围径真旨》·(无卷数,安徽巡抚采进本)国朝顾长发撰。长发字君源,江苏人。是编因圜周、圜径古无定率,有高捷者翦纸为积,补
《浑盖通宪图说》·二卷(两江总督采进本)明李之藻撰。之藻有《頖宫礼乐疏》,已著录。是书出自西洋简平仪法。盖浑天与盖天皆立