論說自注疏集傳以外凡二十家持論精核於名物
訓詁山川地理言之尤詳〈詩學提要〉澄之同縣方中通字
位伯明檢討以智之次子著數度衍二十四卷附錄
一卷其書有數原律衍幾何約珠算筆算籌算尺算
諸法復條列古九章名目引
御製數理精藴推闡其義其幾何約及珠算等大抵
裒輯諸家之長而增損潤色勒爲一編〈數度衍提要〉又撰
物理小識十二卷〈提要〉以智博極羣書撰通雅五十二
卷皆考證名物象數訓詁音聲窮源遡委詞必有徵
明之中葉以博洽著者稱楊愼而陳耀文起與之爭