Advertisement

Formal Aspects of Computing

, Volume 6, Issue 5, pp 580–584 | Cite as

How to write a long formula

  • Leslie Lamport
Short Communication

Abstract

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.

Keywords

Mathematical notation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1994

Authors and Affiliations

  • Leslie Lamport
    • 1
  1. 1.Digital Equipment CorporationPalo AltoUSA

Personalised recommendations