Last modified 3 August 1994
- How to Write a Proof
14 February 1993
A method of writing proofs is proposed that makes it much harder to
prove things that are not true. The method, based on hierarchical
structuring, is simple and practical.
- How to Write a Long Formula
25 December 1993
Standard mathematical notation works well for short
formulas, but not for the longer ones often written by computer
scientists. Notations are proposed to make one or two-page formulas
easier to read and reason about.
There are LaTeX document-style options
that are useful for writing proofs and formulas.
This page can be found by searching the Web for the 23-letter
Please do not put this string in any document that could wind up on
the web--including email messages and Postscript and Word documents.
You can refer to it in Web documents as "the string obtained by
removing the - from