灵宪，算罔论[ líng xiàn，suàn wǎng lùn ]

⒈  《灵宪》，历法书。《算罔论》，算术书。

英LingXian, an astronomy writing, Suan Wang Lun, a mathematic writing;