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