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

zbMATH Open1271.01007MaRDI QIDQ4913630FDOQ4913630

Karine Chemla

Publication date: 8 April 2013

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

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)

Cited In (6)

• Using Documents from Ancient China to Teach Mathematical Proof
• Title not available (Why is that?)
• The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento
• Working on and with division in early China, third century BCE -- seventh century CE
• Proof in the Wording: Two Modalities from Ancient Chinese Algorithms
• The work and idea of algorithm analysis in Liu's commentaries to the ``Arithmetic in Nine Sections

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)