Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

BIRTHDAY
1999
Springer

favoriteEmaildiscussreport

92views Applied Computing» more BIRTHDAY 1999»

Monotonicity in Calculational Proofs

13 years 9 months ago

Monotonicity in Calculational Proofs

Download www.cs.cornell.edu

We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more prominent place in the teaching of such proofs and give supporting examples.

David Gries

Real-time Traffic

Applied Computing | BIRTHDAY 1999 | Calculational Proofs | Metatheorem Concerning Monotonicity | Prominent Place |

claim paper

Related Content

» Animating Formal Proof at the Surface The Jape Proof Calculator

» On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT

» On Monotone Formula Composition of Perfect ZeroKnowledge Languages

» Monotone complexity and the rank of matrices

» Verified Real Number Calculations A Library for Interval Arithmetic

» Characterizing Incentive Compatibility for Convex Valuations

» Real Number Calculations and Theorem Proving

» Complexity of DNF and Isomorphism of Monotone Formulas

» Realizability interpretation of proofs in constructive analysis

Post Info
More Details (n/a)

Added	03 Aug 2010
Updated	03 Aug 2010
Type	Conference
Year	1999
Where	BIRTHDAY
Authors	David Gries

Comments (0)