全史日至源流

  钦定四库全书     子部六
  全史日至源流     天文算法类二【推歩之属】提要
  【臣】等谨案全史日至源流三十二卷

圣寿万年历

  钦定四库全书     子部六
  圣寿万年厯      天文算法类一【推步之属】提要
  【臣】等谨案圣夀万年厯五巻附律厯融

数学

  钦定四库全书     子部六
  数学         天文算法类二【推歩之属】提要
  【臣】等谨案数学八卷续一卷
 

数学九章

  钦定四库全书     子部六
  数学九章       天文算法类二【算书之属】提要
  【臣】等谨案数学九章十八卷宋秦九韶

孙子算经


孙子算经
《孙子算经》三卷,案《隋书·经籍志》有《孙子算经》二卷,不著其名,亦不著其时代。《唐书·艺文志》称李淳风注甄鸾《孙子

天步真原

  钦定四库全书     子部
  天步真原       天文算法类【推步之属】提要
  【臣】等谨案天步真原一卷
  国朝

天经或问前集

  钦定四库全书     子部
  天经或问       天文算法类【推步之属】提要
  【臣】等谨案天经或问四卷
  国朝

天问略

  钦定四库全书     子部六
  天问畧        天文算法类一【推之属】提要
  【臣】等谨案天问畧一卷明万厯乙夘西

天学会通

  钦定四库全书     子部
  天学防通       天文算法类【推步之属】提要
  【臣】等谨案天学防通一卷
  国朝

同文算指

  钦定四库全书     子部六
  同文算指       天文算法类二【算书之属】提要
  【臣】等谨案同文算指前编二卷通编八