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 1000-1099

summaries
EWD number Size (KB) Title transcriptions
1000 267 Twenty-eight years EWD1000.html
1001 640 The calculus of boolean structures (Part 0)
1002 272 The calculus of boolean structures (Part 1)
1003 173 Graphs of modest diameter and degrees EWD1003.html
1004 40 A methodological remark on mathematical induction
1005 21 A supplement to EWD1002
1006 138 Trip report E.W.Dijkstra, Stanford/Palo Alto, 26-29 March l987 EWD1006.html
1007 39 Addendum to EWD969
1008 145 What computing science is about EWD1008.html
1009 106 On a somewhat disappointing correspondence EWD1009.html
1010 64 A much neglected mathematical object
1011 146 Introducing my fall 1987 course on Mathematical Methodology EWD1011.html
1012 290 ``Real mathematicians don't prove'' EWD1012.html
1013 144 Position paper on ``fairness'' EWD1013.html
1014 56 A monotonicity argument revisited
1015 151 On a problem transmitted by Doug McIlroy
1016 339 A computing scientist's approach to a once-deep theorem of Sylvester's EWD1016.html
1017 496 Fillers at a YoP-institute
1018 182 To the members of the Budget Council EWD1018.html
1019 91 Another filler of the YoP Institute EWD1019.html
1020 361 The derivation of a proof by J.C.S.P. van der Woude
1021 179 A symmetry in the sorting task
1022 98 A bagatelle on implication's transitivity
1023 95 On triangles being nondegenerate
1024 455 A new science, from birth to maturity EWD1024.html
1025 57 Ulrich Berger's solution to the rectangle problem
1026 268 Trip report E.W.Dijkstra, Marktoberdorf 1988 EWD1026.html
1027 75 My methodological blunder with grid polygons EWD1027.html
1028 121 Euclid, Netty, and the prime numbers
1029 316 The linear search revisited (with W.H.J.Feijen)
1031 142 Ascending functions and The Welfare Crook
1032 152 Decomposing an integer as sum of two squares
1033 178 Trip report E.W.Dijkstra, Zürich, 15–20 Oct. 1988 EWD1033.html
1034 132 Equivalence versus mutual implication; junctivity and monotonicity
1035 954 On long-range planning for the CS department
1036 891 On the cruelty of really teaching computing science EWD1036.html
Español
1037 478 Exploring the lexical coupling
1038 91 A bagatelle on total orders
1039 180 Seemingly on a problem transmitted by Bengt Jonsson EWD1039.html
1040 126 The majority vote according to J. Gutknecht
1041 448 By way of introduction EWD1041.html
1041a 23 Factorizing the factorial EWD1041a.html
1042 74 Once more the bichrome 3 x 7 grid (See EWD764)
1043 151 A few comments on ``Computing as a discipline'' EWD1043.html
1044 120 To hell with ``meaningful identifiers''! EWD1044.html
1045 92 The problem of the difficult dartboard
1046 300 A tale of two winters EWD1046.html
1047 438 A relational summary
1048 112 ATAC's proof of Scholten's theorem
1049 120 A somewhat open letter to Uri Leron EWD1049.html
1050 253 On the design of a simple proof for Morley's Theorem EWD1050.html
1051 374 The next forty years EWD1051.html
1052 107 From the Hungarian Eotvos Competition, 1911
1053 63 Monochrome pairs in the three-coloured plane EWD1053.html
1054 106 On hygiene, intellectual and otherwise EWD1054.html
1055 125 On the problem of the calissons EWD1055.html
1055A 41 untitled (advice to a young scientist) EWD1055A.html
1055c 127 On covering a figure with diamonds EWD1055c.html
1056 197 Hoe onbelangrijk het is of duikboten kunnen zwemmen EWD1056.html
1057 91 Andrei P. Ershov in Nuenen EWD1057.html
1058 162 In reply to comments EWD1058.html
1059 437 0 Preface (Mathematical Methodology) EWD1059.html
1060 73 ``Predicate Calculus and Program Semantics'', fall 1989 EWD1060.html
1061 108 Composition, lambda-calculus, and some more
1062 45 On an exercise of Tony Hoare's
1063 281 An introductory example (Mathematical Methodology)
1064 82 On the selection of dummies: a notational freedom
1065 64 An example of how to lengthen formal proofs
1066 110 Hungry? Have a byte .... EWD1066.html
1067 109 A very first introductory example (Mathematical Methodology) EWD1067.html
1068 193 On the quality criteria for mathematical writing (Mathematical Methodology) EWD1068.html
1069 78 Fair gambling with a biased coin EWD1069.html
1070 297 For brevity's sake (Mathematical Methodology) EWD1070.html
1071 68 Making a fair roulette from a possibly biased coin EWD1071.html
1071a 70 Making a fair roulette from a possibly biased coin EWD1071a.html
1072 75 On covering a figure with diamonds EWD1072.html
1073 506 How Computing Science created a new mathematical style EWD1073.html
1074 153 A generalization of R.S. Bird's problem
1075 178 Constructing the proof of Vizing's Theorem (with J.R. Rao)
1076 76 From ``Discrete Mathematics with Applications'' by Susanna S. Epp EWD1076.html
1077 102 Fibonacci and the greatest common divisor
1078 202 Leibniz's Principle (Mathematical Methodology)
1079 145 Well-foundedness and the transitive closure (with A.J.M. van Gasteren)
1080 98 Well-foundedness and lexical coupling (with A.J.M. van Gasteren)
1081 39 Mathematical induction and universal quantification
1082 2560 Designing the proof of Vizing's Theorem (with J.R. Rao)
1082a 409 Designing the proof of Vizing's Theorem (with J.R. Rao)
1083 114 The balance and the coins EWD1083.html
1084 59 A logician's anomaly or: Leibniz vindicated
1085 38 Proving the theorem of Menelaos EWD1085.html
1086 218 The everywhere operator once more
1087 153 A conversion routine revisited
1088 73 A theorem communicated by Ken Calvert
1089 47 An Oxford sequel to EWD1047
1090 197 The design of a proof of equality (Mathematical Methodology)
1091 272 More equality proofs with instantiated definitions (Mathematical Methodology)
1092 66 Two ways of determining an expectation value EWD1092.html
1093 65 Proving the equality of infinite sequences
1094 265 The undeserved status of the pigeon-hole principle (Mathematical Methodology) EWD1094.html
1095 186 Are ``systems people'' really necessary? EWD1095.html
1096 22 Potter's proof of disjunction's symmetry EWD1096.html
1097 34 The majority vote among three
1098 87 Guided by necessity
1099 63 Inspired by Peter Auer's proof

Revised 17-Jun-2013