Tian, Miao Department Structural Changes in Systems of Knowledge, Max Planck Institute for the History of Science, Max Planck Society;
Tian, M. (2012). A formal system of the Gougu method: a study on Li Rui's detailed outline of mathematical procedures for the right-angled triangle. In K. Chemla (Ed.), The history of mathematical proof in ancient traditions (pp. 552-574). Cambridge [u.a.]: Cambridge University Press.