✦ LIBER ✦

On calculational proofs

✍ Scribed by Vladimir Lifschitz

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 96 KB
Volume: 113
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(01)00059-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structured calculational proof

✍ Ralph Back; Jim Grundy; Joakim von Wright 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 895 KB

Heuristics for a calculational proof

✍ Edsger W. Dijkstra 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 234 KB

On proofs of rejection

✍ Walenty Staszek 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 320 KB

A note on religious proofs

✍ James E. Tomberlin 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 111 KB

Simplified GPT calculational procedure

✍ A. Gandini; G. Palmiotti 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 120 KB

On convexity proofs in location theory

✍ Robert F. Love; James G. Morris 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 131 KB

It is often assumed in the facility location literature that functions of the type +i(z, y) =p,{(zj-z)\*+ (yi-y)a]R/s are twice differentiable. Here we point out that this is true only for certain values of K. Convexity proofs that are independent of the value of K are given. DIFFERENTIABILITY Consi