Hilbert kong jian lun dao lun/ Sheng wu tong ji xue dao lun/ Ying yong li xue dao lun/ Dian ying yan jiu dao lun/ Fa guo er tong wen xue dao lun/ Xian dai cheng kuang xue dao lun/ Lu hai kong jun xing fa lun/ Shu li tong ji dao lun/ Xian xing dai shu dao lun/ Xing zheng jian cha gai lun/