制數理精蘊》線、面、體三部，凡三十餘卷，《幾何原本》五卷，《梅氏全書》，卷帙亦為浩博，學算者非出自專門，不能驟窺蹊徑。今亨陽撮舉精要，別加薈萃，簡而不漏，括而不支，可為入門之津筏。雖未能大有所發明，而以為初學者啟蒙之資，則殊有裨益矣。
△《九章錄要》·十二卷（浙江巡撫採進本）
國朝屠文漪撰。文漪字蓴洲，松江人。其書因古《九章》之術，參以今法，與杜知耕所著《數學鑰》體例相似，而互有詳略疏密。知耕詳於方田，文漪則詳於勾股。知耕論少廣備及形體，文漪推少廣則研及廉隅之辨。知耕參以西法，每於設問之下附著其理，文漪則採錄梅文鼎諸書，推闡以盡其用。大致皆綴集今古之法以成書，而取捨各異。合而觀之，亦可以互相發明也。是書有借徵一條，專明借衰疊徵之術，為知耕之所未及。考其所載，雖未極精密，然於借數之巧，固已得其大端矣。
──右“天文演算法類”算書之屬，二十五部，二百十卷，皆文淵閣著錄。
（案：數為六藝之一，百度之所取裁也。天下至精之藝，如《律呂推步》，皆由是以窮要眇。而測量之術，尤可取資。故天文無不根算書。算書雖不言天文者，其法亦通於天文。二者恆相出入，蓋流別而源同。今不入小學而次於天文之後，其事大，從所重也。不與天文合為一，其用廣，又不限於一也。）
○天文演算法類存目△《星經》·二卷（兩江總督採進本）
不著撰人名氏。晁公武《讀書志》載《甘石星經》一卷，注曰漢甘公石申撰。
以日月、五星、三垣、二十八舍恆星圖象次舍，有佔訣以候休咎。《隋書·經籍志》，石氏《星簿經贊》一卷，《星經》二卷，甘氏《四七法》一卷。是書卷數雖與《隋志》合，而多舉隋、唐州名，必非秦、漢間書也。所載星象，今亦殘闕不全，不足以備考驗。
△《步天歌》·七卷（兩江總督採進本）
陳振孫《書錄解題》曰，《步天歌》一卷，未詳撰人，二十八舍歌也。三垣頌、五星凌犯賦附於後。或曰唐王希明撰，自號丹元子。鄭樵《通志·天文略》則曰隋有丹元子，隱者之流也，不知名氏，作《步天歌》。王希明纂漢、晉志以釋之，《唐書》誤以為王希明。案樵《天文略》全採此歌，故推之甚至。然丹元子為隋人，不見他書，不知樵何所據。使果隋時所作，不應李淳風不知其人，《隋書·經籍志》中竟不著錄，至《唐書》乃稱王希明也。疑以傳疑，闕所不知可矣。其書以紫微、太微、天市分上中下三垣宮，仍以四方之星分屬二十八舍，皆以七字為句，條理詳明，歷代傳為佳本。本朝御製及欽定《天文儀象》諸書，鹹採錄之，復有專刻官本。考度繪圖，測驗星躔，一一吻合。此本圖度未工，句多增減，所注佔語，亦未詳出自誰手，未為善本。又《唐志》、《文獻通考》並稱一卷，而此本乃有七卷，其為後人所竄亂審矣。鄭樵亦稱世有數本，不勝其訛，此或即其一也。
△《青羅歷》·（無卷數，浙江範懋柱家天一閣藏本）
不著撰人名氏。考陳振孫《直齋書錄解題》雲，《青羅立成歷》一卷，司天監朱鳳奏。據其稱貞元十年甲戌入歷，至今乾寧丁巳，則是唐末人。似即此書，然稽其年代，不甚相合，卷數亦多少互異，疑不能明也。其書列一年十二月為定表，用節氣紀太陽太陰宿次。又以年經月緯縱橫立表，各定年數為五星週而復始之期。案日月經天有常度，亦有差分，故月有大小，閏有常期。若一概限以節氣太陽，倘連值十五日之節，尚可遷就，太陰用三十日為定策，則必不能齊。至五星躔度，各有遲速，其周天之數，贏縮不能畫一，拘以定數，亦類刻舟。又日、月、五星謂之七曜，曜者光曜之謂也。月孛、羅、計、紫炁雖有躔次，實無其形。
此書立十一曜之名，已為未協。至論月孛一條，乃有披金甲及背上插箭之語，一若親睹其形者，大抵剿襲道家符籙等書，而不知其荒唐已甚也。
△《官曆刻漏圖》·二卷（永樂大典本）
宋王普撰。自序謂官曆漏刻，以嶽臺為定。九服之地，冬夏至晝夜刻數或與嶽臺不同，則二十四氣前後易箭之日亦皆少差。又有蔡知方序，謂刻漏圖邵陽刊本最詳備，建陽林氏復加鐫定，移小分於四刻之前，視昔尤為精密。又有鈕蘭居士序，謂林君衍四刻餘分，均諸眾時之先後，作小漏款識，視王普為尤備。則此書又林氏所重修，非普之舊也。然其法已略具《宋史》中，此雖稍詳，究無大異。
普字伯照，裡籍未詳。官左朝散大夫行太常博士。