Edsger W. Dijkstra Archive

Home

Search

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

EWD number Size (KB) Title transcriptions
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 EWD903.html
904 58 A problem solved by my nephew Sybrand L. Dijkstra EWD904.html
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
EWD906.html
907 194 Trip report E.W.Dijkstra, Netherlands, Austria,
23-31 Jan. 1985
EWD907.html
908 770 Predicate transformers (Draft Ch.3)
909 121 Trip report E.W.Dijkstra, Westboro-Boston,
14-17 Feb. 1985
EWD909.html
910 664 Semantics of straight-line programs (Draft Chap.4)
911 139 Trip report E.W.Dijkstra, Tulsa, 1-6 March 1985 EWD911.html
912 579 Extreme solutions of equations (Draft Ch.5)
913 421 On a cultural gap (Draft) EWD913.html
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 EWD917.html
918 372 A summary of a year's impressions EWD918.htm
920 261 Can computing science save the computer industry? EWD920.html
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 EWD923.html
923a 32 Where is Russell's ``Paradox''? EWD923a.html
924 429 On a cultural gap EWD924.html
925 127 Trip report E.W.Dijkstra, London, 25-27 June 1985 EWD925.html
926 30 A computer to think about EWD926.html
927 129 The ATAC ( = Austin Tuesday Afternoon Club) EWD927.html
928 602 On structures
929 133 A generalization of the functions head and tail (unfinished)
930 95 For the record: the Linear Search EWD930.html
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 EWD932c.html
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 EWD936.html
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 EWD947.html
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 EWD951.html
952 576 Science fiction and science reality in computing EWD952.html
953 275 A heuristic explanation of Batchers's Baffler
953a 364 A heuristic explanation of Batchers'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 EWD956.html
957 100 Partitioning predicates and punctual functions
(see EWD955)
958 422 On naming (with A.J.M. van Gasteren) EWD958.html
959 36 A short note on universal quantification
960 84 On a proof I learned from prof. dr. J. Haantjes
961 59 On the ``quadrangular'' inequalities
962 310 Introducing a course on mathematical methodology EWD962.html
963 71 Visuals for BP's Venture Research Conference EWD963.html
964 47 Node degree and the size of disconnected subgraphs
965 108 Ptolemaeus and Brahmagupta (or: Baffled by Symmetry)
966 176 Management and Mathematics EWD966.html
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
EWD968.html
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 EWD973.html
974 53 The longer side is opposite to the greater angle EWD974.html
975 27 On the theorem of Pythagoras EWD975.html
976 84 Who is your ``target audience''? EWD976.html
977 61 An address to my students (16.9.1986) EWD977.html
978 64 A sequel to EWD977 (18.9.1986) EWD978.html
979 66 A solution designed by A. Blokhuis EWD979.html
980 252 The strange case of The Pigeon-hole Principle EWD980.html
981 54 Address to my students (23.9.1986) EWD981.html
982 173 Relational Calculus according to ATAC
983 55 How do we contribute? (30.9.1986) EWD983.html
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 EWD987.html
987a 217 On a class of graphs with modest diameter EWD987a.html
988 274 On the phenomenon of scientific disciplines EWD988.html
988a 140 How experimental is computing science? EWD988a.html
989 110 Proving Gupta's Theorem EWD989.html
990 118 A theorem of Charles Babbage's extended
991 145 Why Johnny can't understand EWD991.html
992 45 Difficult is easy EWD992.html
993 166 The nature of my research and why I do it EWD993.html
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 EWD996.html
997 54 Computing Science in the United Kingdom EWD997.html
998 200 Shmuel Safra's version of termination detection
999 302 Our proof format

Revised 20-Mar-2012