Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Writing Proofs

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.research.digital.com/SRC/personal/Leslie_Lamport/proofs/proofs.html
Author:Leslie Lamport
Description: PostScript, DVI, and LaTeX versions of each (but no HTML) are available. How to Write a Proof: 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: 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.
Levels: College, Research
Languages: English
Resource Types: Articles
Math Topics: Communicating Math

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
 The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.