《文獻通考》

《周髀算經》二卷、《音義》一卷。 陳氏曰題趙君卿註甄鸞重述李淳風等註釋。《周髀》者蓋天文書也。稱周公受之商高，而以句股爲術，故曰《周髀》。《唐志》有趙嬰、甄鸞註多一卷，李淳風釋二卷。今曰「君卿」者，豈嬰之字邪？《中興書目》又雲：君卿，名爽。蓋本《祟文總目》，然皆莫詳時代。甄鸞者後周司隸也。《音義》假承務郎李籍撰。 《司天考古星通元寶鏡》一卷。 鼂氏曰：題曰巫鹹氏。宋朝太平興國中，詔天下知星者詣京師。未幾至者百許人，坐私習天文，或誅，或配隸海島。由是，星曆之學殆絶。故予所藏書中亦無幾。姑裒數種以備數雲。