The most notable books by Tan Hecheng, populated from OpenLibrary.