◎ 灵宪,算罔论 Língxiàn,Suànwǎnglùn
[LingXian, an astronomy writing, Suan Wang Lun, a mathematic writing] 《灵宪》,历法书。《算罔论》,算术书