△《御定数理精蕴》·五十三卷
康熙五十二年圣祖仁皇帝《御定律历渊源》之第二部也。上编五卷,曰立纲明体,其别有五。曰数理本源,曰河图,曰洛书,曰周髀经解,曰几何原本,曰算法原本。下编四十卷,曰分条致用,其别亦有五。曰首部,曰线部,曰面部,曰里部,曰末部。又表八卷,其别有四。曰八线表,曰对数阐微表,曰对数表,曰八线对数表。皆通贯中西之异同,而辨订古今之长短。如旧传方程分二色为一法,三色为一法,四色、五色以上为一法,头绪纷然。所立假如仅可施之本例,而不可移之他处。至於正负加减法,实并分母诸例,率皆谬误。今则约之为和数、较数、和较兼用、和较加变四例,而和数不分正负,较数任以一色为正,即以相当之一色为负,皆以异名相并,同名相减,实足正旧法之讹误。又割圆术古以径一围三为周径之率,宋祖冲之用圆容六边起算,元赵友钦用圆容四边起算,皆屡求勾股,得径一者周三一四一五九六二五。泰西法亦同其率。古今周率之密,无逾於此。而旧所传弧矢诸术,周径皆用古率,又弧弦弦背互求诸术,立法极为疏舛。今则以六宗三要二简法求得一象限内弦矢割切正馀八线,立为一表,洵极勾股弧矢之变。又《几何原本》止於测面,七卷以下,徐光启、李之藻后无译之者。《新法算书》,往往有杂引之处,读者未之能详。且理分中末线,但有求作之法,而莫知所用。今则求得各等面体及求内容外切各等面体之积,至十二等面及二十等面之体,皆以理分中末线为之比例,足以补测量全义量体诸率之简略。至末部借根方法,即古立天元一之术,唐宋诸算家咸用之。至明而失传,是以顾应祥、唐顺之於元李冶《测圆海镜》一书所立天元一皆茫然不解。今则具明其加减乘除之例,而后根与平方以下诸乘方之多少者咸得其开法,与古所云带纵立方三乘方诸变同归一揆。且线面体一以贯之,而本法所不能求者,皆可以借根而得,至为精妙。他若对数表以假数、求真数,比例规解以量代算,皆西法之迥异於中法者,咸为疏通证明,绘图立表,粲然毕备。实为从古未有之书。虽专门名家,未能窥高深於万一也。
《万青楼图编》·十六卷(国子监助教张羲年家藏本)国朝邵昂霄撰。昂霄字丽寰,馀姚人。拔贡生。乾隆元年荐举博学鸿词。其书专论
《勿菴历算书记》·一卷(浙江吴玉墀家藏本)国朝梅文鼎撰。文鼎历算诸书,仅刊行二十九种。此乃合其已刊未刊之书,各疏其论撰之
《数度衍》·二十四卷、附录一卷(两江总督采进本)国朝方中通撰。中通字位伯,桐城人。明检讨以智之子也。以智博极群书,兼通算
《古今律历考》·七十二卷(浙江巡抚采进本)明邢云路撰。云路字士登,安肃人。万历庚辰进士,官至陕西按察司副使。是书详於历而
《庄氏算学》·八卷(福建巡抚采进本)国朝庄亨阳撰。亨阳字元仲,南靖人。康熙戊戌进士,官至淮徐海道。是编乃其自部曹出董河防
《五曹算经》·五卷(永乐大典本)案《隋书·经籍志》有《九章六曹算经》一卷,而无五曹之目,其六曹篇题亦不传。《唐书·艺文志
《围径真旨》·(无卷数,安徽巡抚采进本)国朝顾长发撰。长发字君源,江苏人。是编因圜周、圜径古无定率,有高捷者翦纸为积,补
《御定历象考成后编》·十卷乾隆二年奉敕撰。《新法算书》推步法数,皆仍西史第谷之旧。其图表之参差,解说之隐晦者,圣祖仁皇帝
《勾股矩测解原》·二卷(浙江汪启淑家藏本)国朝黄百家撰。百家有《体独私抄》,已著录。是书言勾股测望,并详绘矩度之形,与熊
《官历刻漏图》·二卷(永乐大典本)宋王普撰。自序谓官历漏刻,以岳台为定。九服之地,冬夏至昼夜刻数或与岳台不同,则二十四气
《璇玑遗述》·七卷(两江总督采进本)国朝揭暄撰。暄字子宣,江西广昌人。是书一名《写天新语》。言天地大象,七曜运旋,兼采欧
《算学》·八卷、《续》·一卷(安徽巡抚采进本)国朝江永撰。永有《周礼疑义举要》,已著录。是编因梅文鼎《历算全书》为之发明
《海岛算经》·一卷(永乐大典本)晋刘徽撰,唐李淳风等奉诏注。据刘徽序《九章算术》有云,徽寻九数有重差之名,凡望极高,测绝
《算法统宗》·十七卷(内府藏本)明程大位撰。大位字汝思,徽州人。珠算之名始见甄鸾《周髀注》,则北齐已有之,然所说与今颇异
《戊申立春考证》·一卷(两江总督采进本)明邢云路撰。云路有《古今律历考》,已著录。万历三十六年戊申,钦天监推十二月二十一
《周髀算经》·二卷、《音义》·一卷(永乐大典本)案《隋书·经籍志·天文类》,首列《周髀》一卷,赵婴注。又一卷,甄鸾重述。
《历算全书》·六十卷(浙江汪启淑家藏本)国朝梅文鼎撰。文鼎字定九,宣城人。笃志嗜古,尤精历算之学。康熙四十一年,大学士李
《测圆海镜》·十二卷(编修李潢家藏本)元李冶撰。冶字镜斋,栾城人。金末登进士,入元官翰林学士。事迹具《元史》本传。其书以
《数学九章》·十八卷(永乐大典本)宋秦九韶撰。九韶始末未详。惟据原序自称其籍曰鲁郡。然序题淳祐七年,鲁郡已久入於元。九韶
《张邱建算经》·三卷(吏部侍郎王杰家藏本)原本不题撰人时代。《唐志》载张邱建《算经》一卷,甄鸾注,则当在甄鸾之前。书首邱