The History of Mathematical Proof in Ancient Traditions

548 alexei volkov

Bibliography

Primary sources

CMLT – Phan Huy Khuông. Chỉ minh lập thành toán pháp

(Guidance for understanding of the Ready-made Computational Methods ).

Manuscript A1240 preserved in the library of the Institute for Han-Nom

Studies, Hanoi, Vietnam.

DQ – Wu Jing ( 1450 ) Jiu zhang suan fa bi lei da quan

(Great compendium of the computational methods of nine categories [and

their] generics). In Zhongguo kexue jishu dianji tonghui

(Comprehensive collection of written sources on Chinese science and

technology), (gen. ed.) Ren Jiyu , Shuxue juan (Mathematical

section), (section ed.) Guo Shuchun vol. ii : 5–333. Zhengzhou (1993).

JTS – Liu Xu (gen. ed). Jiu Tangshu (Old history of the Tang

[Dynasty]). Taibei ( 1956 ).

SFTZ – Mei Rongzhao and Li Zhaohua (eds.). Cheng Dawei

. Suanfa tongzong jiaoshi (An annotated edition of the
Summarized Fundamentals of Computational Methods ). Hefei ( 1990 ).
SJSSa – Qian Baocong (ed.). Suanjing shishu (Ten canonical
books on computation). Beijing ( 1963 ).
SJSSb – Guo Shuchun , Liu Dun (eds.). Suanjing shishu
(Ten Canonical Books on Computation). Taibei ( 2001 ).
SS – Tuo Tuo et al. (eds.). Song shi (History of the Song [dynasty]).
Taibei ( 1956 ).
SXQM – Zhu Shijie ( 1299 ) Suan xue qi meng (Introduction to
the learning of computations). In Zhongguo kexue jishu dianji tonghui
(Comprehensive collection of written sources on Chinese
science and technology), (gen. ed.) Ren Jiyu , Shuxue juan
(Mathematical section), (section ed.) Guo Shuchun , vol. i : 1123–200.
Zhengzhou (1993).
TLD – Zhang Jiuling et al. Tang liu dian (Th e six codes of the Tang
[dynasty]). In Wenyuange Siku quanshu , vol. 595 : 3 –293. Taibei ( 1983 ).
XTS – Ouyang Xiu and Song Qi. Xin Tang shu (New history
of the Tang [Dynasty]). Taibei ( 1956 ).

Secondary works

A n P i n g q i u , Zhang Peiheng (eds.) ( 1992 ) Zhongguo lidai jinshu

mulu (Catalogues of the Forbidden Books in China

Th rough Generations). Zhongguo jinshu daguan (General

History of Forbidden Books in China), vol. v. Taibei.

Bailly , C. ( 1857 ) Réforme de la géométrie. Paris.