Edsger W. Dijkstra Archive

Home

Numerical
EWD Index:
    00xx
    01xx
    02xx
    03xx
    04xx
    05xx
    06xx
    07xx
    08xx
    09xx
    10xx
    11xx
    12xx
    13xx

BibTeX index

MC Reports

Other documents

Transcriptions

Video and Audio

External links

EWD Manuscripts 900-999

(1984–87)

EWD number Size (KB) Title
900 120 Minsegsumtwodim
900a 193 Minsegsumtwodim
901 319 A simple fix-point argument without the restriction to continuity (with A.J.M. van Gasteren)
901a 305 A simple fix-point argument without the restriction to continuity (with A.J.M. van Gasteren)
902 136 The regularity calculus: a second trial
903 33 A short sequel to EWD863
904 58 A problem solved by my nephew Sybrand L. Dijkstra
905 1346 Mainly on our use of the predicate calculus (Draft Ch.2)
906 277 Trip report E.W.Dijkstra, Nuenen & London, 10 Dec.’84 – 10 Jan.’85
907 194 Trip report E.W.Dijkstra, Netherlands, Austria, 23–31 Jan. 1985
908 770 Predicate transformers (Draft Ch.3)
909 121 Trip report E.W.Dijkstra, Westboro-Boston, 14–17 Feb. 1985
910 664 Semantics of straight-line programs (Draft Chap.4)
911 139 Trip report E.W.Dijkstra, Tulsa, 1–6 March 1985
912 579 Extreme solutions of equations (Draft Ch.5)
913 421 On a cultural gap (Draft)
914 465 The repetition (Draft Ch.6)
915 308 A sequel to EWD912, i.e. to Draft Ch.5
916 40 An improvement on EWD912
917 123 Another misguided effort
918 372 A summary of a year’s impressions
920 261 Can computing science save the computer industry?
921 14 A correction of EWD914–15
922 157 A belated proof of self-stabilization
923 253 Trip report E.W.Dijkstra, Ithaca, Newport, 30 May – 13 June 1985
923a 32 Where is Russell’s “Paradox”?
924 429 On a cultural gap
925 127 Trip report E.W.Dijkstra, London, 25–27 June 1985
926 30 A computer to think about
927 129 The ATAC ( = Austin Tuesday Afternoon Club)
928 602 On structures
929 133 A generalization of the functions head and tail (unfinished)
930 95 For the record: the Linear Search
931 93 Concerning the equivalence
932 62 Some simple theorems on incremental sorting
932a 216 The streamlining of the mathematical argument
932b 87 Some simple lemmata on incremental sorting
932c 168 The streamlining of the mathematical argument
933 41 On a problem posed by M.R.Khalil (for the record)
934 202 The Saddleback Search
935 148 For the record: Batcher’s Baffler
935a 196 For the record: Batcher’s Baffler
936 329 On anthropomorphism in science
937 77 Correction and extension of EWD932b
938 173 To an anonymous referee of AvG45/EWD901
939 119 Incremental sorting once more
940 49 What I missed in Batcher’s Baffler (EWD935a–0)
941 236 Rotating a linear array
942 290 The longest plateau and other stories
943 206 The problem of the Longest Ribbon
944 176 The operation “trickle”
945 100 A simple theorem?
946 91 The proof of the pudding
947 57 A letter to a typewriter manufacturer
948 132 Misra’s proof of Lamport’s mutual exclusion
949 325 On substitution, replacement, and the notion of a function
950 659 On notation (with A.J.M. van Gasteren)
950a 808 On notation (with A.J.M. van Gasteren)
951 135 Trip report E.W.Dijkstra, Europe, 13.12.1985 – 10.1.1986
952 576 Science fiction and science reality in computing
953 275 A heuristic explanation of Batcher’s Baffler
953a 364 A heuristic explanation of Batcher’s Baffler
954 86 Idempotence and reflexivity; associativity and transitivity; distribution and monotonicity
954a 135 On binary operators and their derived relations
955 125 Partitioning predicates and substitution; diabolical and angelical nondeterminism
956 85 Address to my students
957 100 Partitioning predicates and punctual functions (see EWD955)
958 422 On naming (with A.J.M. van Gasteren)
959 36 A short note on universal quantification
960 84 On a proof I learned from prof. dr. J. Haantjes EWD960.html
961 59 On the “quadrangular” inequalities
962 310 Introducing a course on mathematical methodology
963 71 Visuals for BP’s Venture Research Conference
964 47 Node degree and the size of disconnected subgraphs
965 108 Ptolemaeus and Brahmagupta (or: Baffled by Symmetry)
966 176 Management and Mathematics
967 109 On finite models for the equivalence (with C.S.Scholten)
968 265 Trip report E.W.Dijkstra, Marktoberdorf, 29 July – 10 Aug l986
969 688 Extreme solutions of equations
970 123 F.L. Bauer’s Conjecture is F.L. Bauer’s Theorem
972 45 (E y :: (A x :: p.x.y)) ⇒ (A x :: (E y :: p.x.y))
973 52 The cosine rule
974 53 The longer side is opposite to the greater angle
975 27 On the theorem of Pythagoras
976 84 Who is your “target audience”?
977 61 An address to my students (16.9.1986)
978 64 A sequel to EWD977 (18.9.1986)
979 66 A solution designed by A. Blokhuis
980 252 The strange case of The Pigeon-hole Principle
981 54 Address to my students (23.9.1986)
982 173 Relational Calculus according to ATAC
983 55 How do we contribute? (30.9.1986)
984 418 The study of a notion, viz. that of residue classes
985 46 A supplement to EWD878
986 45 Suppose they differ!
987 96 On a class of graphs with modest diameter
987a 217 On a class of graphs with modest diameter
988 274 On the phenomenon of scientific disciplines
988a 140 How experimental is computing science?
989 110 Proving Gupta’s Theorem
990 118 A theorem of Charles Babbage’s extended
991 145 Why Johnny can’t understand
992 45 Difficult is easy
993 166 The nature of my research and why I do it
994 44 J. Misra’s comment on EWD964
995 76 On W.H.J.Feijen’s string equation
996 89 Courtesy A.J.M. van Gasteren, C.S.Scholten and J.G.Wiltink
997 54 Computing Science in the United Kingdom
998 200 Shmuel Safra’s version of termination detection
999 302 Our proof format

Revised 10-Nov-2019