△《算学》·八卷、《续》·一卷(安徽巡抚采进本)
国朝江永撰。永有《周礼疑义举要》,已著录。是编因梅文鼎《历算全书》为之发明订正,而一准《钦定历象考成》折衷其异同。一卷曰历学补论,皆因文鼎之说而推阐所未言。二卷曰岁实消长,文鼎论岁实消长,以为高冲近冬至而岁馀渐消,过冬至而复渐长,永则以为岁实本无消长,消长之故在高冲者岁实稍赢,近最高者稍朒,又小轮半径,古大今小,则加减差亦异。三卷曰恒气注历,文鼎论冬至加减,谓当如西法用定气,不用恒气,而所作《疑问补》等书又谓当如旧法用恒气注历,永则以为冬至既不用恒气,则诸节亦皆当用定气,不用恒气,故此二卷皆条列文鼎之说,而以所见辨於下。四卷曰冬至权度,《元史》六历冬至载晋献公以来四十九事,文鼎因作《春秋冬至考》,删去晋献公一事,各以其本法推求其故,永则以为算术虽明,而未有折衷,更因文鼎之法,考证历法史志之误。五卷曰七政衍,文鼎论七政小轮之动由本天之动,七政之动由小轮之动,永则以恭按《钦定历象考成》五星有三小轮,而月更有次均轮,且更有负圈,文鼎说虽精当,而各轮之左旋右旋,与带动自动不动之异,尚未能详剖,因各为图说以明之。六曰金水发微,文鼎初仍旧法,以金、水二星伏见轮同於岁轮,后因门人刘允恭悟得金、水二星自有岁轮,而伏见轮乃其绕日圆象,因详为之说,后杨学山乃颇以为疑,永谓文鼎说是,学山疑非,因为图说以明之。七曰中西合法拟草,明徐光启酌定新法,凡正朔闰月之类,从中不从西,定气整度之类,从西不从中,然因用定气,遂以每月中气时刻为太阳过宫时刻系以中法十二宫之名,而西法十二宫之名又用之於表,永病其错互,又整度一事,永亦病其言之未尽,故著此论以辨之,亦多推文鼎之说。八曰算賸,则推衍三角诸法,求其捷要。续历学一卷,曰正弧三角疏义,以补算賸所未尽,故八卷各有小序,此卷独无也。文鼎历算,推为绝技,此更因所已具,得所未详。踵事而增,愈推愈密,其於测验,亦可谓深有发明矣。
──右“天文算法类”推步之属,三十一部,四百二十九卷,皆文渊阁著录。
(案:言天三家惟《周髀》有书,然周人不甚讲推步,故动辄失闰,《左传》所记可考也。汉以后虽测算渐精,又往往得诸神解,其法多见於史志,书亦罕传。传者惟宋、元以下数家而已。故今所著录,新法为多。诸家算术为天文而作者入此门,其专言数者则别立为算书一类。)
《海岛算经》·一卷(永乐大典本)晋刘徽撰,唐李淳风等奉诏注。据刘徽序《九章算术》有云,徽寻九数有重差之名,凡望极高,测绝
《圣寿万年历》·八卷、附《律历融通》·四卷(浙江巡抚采进本)明朱载堉撰。载堉有《乐书》,已著录。《明史·历志》曰:明之大
《六经天文编》·二卷(直隶总督采进本)宋王应麟撰。应麟有《郑氏周易注》,已著录。是编裒六经之言天文者,以《易》、《书》、
《步天歌》·七卷(两江总督采进本)陈振孙《书录解题》曰,《步天歌》一卷,未详撰人,二十八舍歌也。三垣颂、五星凌犯赋附於后
《万青楼图编》·十六卷(国子监助教张羲年家藏本)国朝邵昂霄撰。昂霄字丽寰,馀姚人。拔贡生。乾隆元年荐举博学鸿词。其书专论
《勿菴历算书记》·一卷(浙江吴玉墀家藏本)国朝梅文鼎撰。文鼎历算诸书,仅刊行二十九种。此乃合其已刊未刊之书,各疏其论撰之
《数学九章》·十八卷(永乐大典本)宋秦九韶撰。九韶始末未详。惟据原序自称其籍曰鲁郡。然序题淳祐七年,鲁郡已久入於元。九韶
《历体略》·三卷(安徽巡抚采进本)明王英明撰。英明字子晦,开州人。万历丙午举人。是编成於万历壬子。上卷六篇,曰天体地形,
《天心复要》·三卷(浙江范懋柱家天一阁藏本)明鲍泰撰。泰,徽州人。是书作於成化中。专言历法,而於岁实朔策汉已来所定小馀疏
《纬谭》·一卷(福建巡抚采进本)明魏濬撰。濬有《易义古象通》,已著录。此书首题曰拙存斋笔录,而子目则曰纬谭,盖其劄记之一
《术数记遗》·一卷(两江总督采进本)旧题汉徐岳撰。北周甄鸾注。岳,东莱人。《晋书·律历志》所称吴中书令阚泽受刘淇《乾象法
《勾股引蒙》·五卷(浙江巡抚采进本)国朝陈訏撰。訏字言扬,海宁人。由贡生官淳安县教论。是书成於康熙六十一年壬寅。首载加减
《璇玑遗述》·七卷(两江总督采进本)国朝揭暄撰。暄字子宣,江西广昌人。是书一名《写天新语》。言天地大象,七曜运旋,兼采欧
《数度衍》·二十四卷、附录一卷(两江总督采进本)国朝方中通撰。中通字位伯,桐城人。明检讨以智之子也。以智博极群书,兼通算
《秦氏七政全书》·(无卷数,江苏巡抚采进本)国朝秦文渊撰。文渊爵里未详。书凡八册。第一册论天行地体经纬交错之大象,以及七
《盖载图宪》·一卷(编修励守谦家藏本)明许胥臣撰。胥臣有《禹贡广览》,已著录。是书以天图为盖,地图为载,大意以天文藉图不
《御定历象考成》·四十二卷康熙五十二年圣祖仁皇帝《御定律历渊源》之第一部也。案推步之术,古法无徵,所可考者,汉太初术以下
《勾股矩测解原》·二卷(浙江汪启淑家藏本)国朝黄百家撰。百家有《体独私抄》,已著录。是书言勾股测望,并详绘矩度之形,与熊
《戊申立春考证》·一卷(两江总督采进本)明邢云路撰。云路有《古今律历考》,已著录。万历三十六年戊申,钦天监推十二月二十一
《数学钥》·六卷(内府藏本)国朝杜知耕撰。其书列古方田、粟米、衰分、少广、商功、均输、盈朒、方程、勾股九章,仍取今线、面