Reading proofs in Chinese commentaries: algebraic proofs in an algorithmic context

MaRDI QIDQ4913630zbMATH OpenFDO

Authors Karine Chemla

Publication date 8 April 2013

zbMATH Keywords

algorithmsJiuzhang suanshuSuanshu shuNine Chapterstruncated pyramidpostfixed operationsproof of correctness of algorithms

Mathematics Subject Classification ID

History of Chinese mathematics (01A25) History of mathematics in Late Antiquity and medieval Europe (01A35)

Recommendations

• Proof in the Wording: Two Modalities from Ancient Chinese Algorithms
• The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento
• Using Documents from Ancient China to Teach Mathematical Proof
• scientific article; zbMATH DE number 2222770
• scientific article; zbMATH DE number 2161127

Cited in

(7)

• Using Documents from Ancient China to Teach Mathematical Proof
• Working on and with division in early China, third century BCE -- seventh century CE
• Commentaries upon commentaries: the translation of the Jiu zhang suan shu by Karine Chemla and Guo Shuchun
• The work and idea of algorithm analysis in Liu's commentaries to the ``Arithmetic in Nine Sections
• Proof in the Wording: Two Modalities from Ancient Chinese Algorithms
• The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento
• scientific article; zbMATH DE number 2161127 (Why is no real title available?)

This page was built for publication: Reading proofs in Chinese commentaries: algebraic proofs in an algorithmic context

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913630)