Reading proofs in Chinese commentaries: algebraic proofs in an algorithmic context (Q4913630)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reading proofs in Chinese commentaries: algebraic proofs in an algorithmic context |
scientific article; zbMATH DE number 6151738
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Reading proofs in Chinese commentaries: algebraic proofs in an algorithmic context |
scientific article; zbMATH DE number 6151738 |
Statements
8 April 2013
0 references
Nine Chapters
0 references
Jiuzhang suanshu
0 references
Suanshu shu
0 references
algorithms
0 references
proof of correctness of algorithms
0 references
truncated pyramid
0 references
postfixed operations
0 references
0.8130344152450562
0 references
0.8106787800788879
0 references
0.8082408905029297
0 references
