scientific article

zbMath0715.00006MaRDI QIDQ3997716

P. M. Roberts, Donald E. Knuth, Tracy Larrabee

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

effective presentation of mathematicsMathematical Writingquality and readabiliy of the mathematical literature

Mathematics Subject Classification ID

Methodology of mathematics (00A35) General and miscellaneous specific topics (00A99)

Related Items (2)

Semi-intelligible Isar proofs from machine-generated proofs ⋮ G. H. Hardy as an editor

This page was built for publication: