Chinese mathematics: a concise history
by Crossley, John N., Li, Yan, Dù, Shirán, Lun, Anthony W.-C
This volume presents a record of mathematical developments in China over a period of more than 2000 years. It goes into greater detail than ever previously available in English. Because the emphasis in Chinese mathematics is on algorithms rather than proofs, readers will find re…
"This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing t…
"This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing t…
This book?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was?rst conceived. At that time, there was a belief that pr…