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 1100-1199

EWD number Size (KB) Title transcriptions
1100 46 The computing habit EWD1100.html
1101 79 Triangles in graphs: a sharp bound EWD1101.html
1102 118 Why preorders are beautiful
1103 37 For the record: ETAC and the couples EWD1103.html
1104 25 So much for scientific visualization EWD1104.html
1105 41 For Bill Walker a sequel to EWD1099 EWD1105.html
1106 115 Courtesy Apt, ETAC, Hoogerwoord, & Voermans
1107 462 On extreme solutions
1108 80 Too much PSST in Texas EWD1108.html
1109 33 Simplifying a proof in our book EWD1109.html
1110 134 To the members of the budget council (Confidential)
1111 144 Triggered by Higman's Lemma
1112 109 Why ``up to equivalence'' EWD1112.html
1113 107 A somewhat open letter to Ben Kuipers EWD1113.html
1114 157 Well-foundedness and the relational calculus
1115 250 A manuscript for the Coahuila student chapter of the ACM
1116 106 More pointless relational calculus: the transitive closure
1117 25 Monotonic demonstranda and dummy introduction EWD1117.html
1118 64 On a formula designed by Henk Doornbos
1119 22 A correction of EWD1112
1120 101 Manipulating mathematical macros
1121 83 Covering rectangles with bars of length 3 EWD1121.html
1122 78 Interleaving is associative
1123 1085 The unification of three calculi
1124 85 On a proof of Kaplansky's Theorem
1125 112 A summary for Turner's class (An extract from EWD1107)
1126 75 Who failed? EWD1126.html
1127 53 Referee's Report on "A transformational approach to specifying recovery in asynchronous communicating systems" by Zhiming Liu and Mathai Joseph, University of Warwick. Paper No. 40 (withdrawn)
1128 118 Mathematical induction synthesized
1129 32 Why ``heavy-weight'' bits are unavoidable EWD1129.html
1130 666 On the economy of doing mathematics
1131 76 Bulterman's theorem on shortest tree EWD1131.html
1132 56 Introducing a course on the design and use of calculi EWD1132.html
1133 83 A theorem of Scholten's once more (see EWD1048)
1134 110 The checkers problem told to me by M.O. Rabin EWD1134.html
1135 124 The knight's tour EWD1135.html
1136 166 A comparison of relational proofs
1137 103 Computing the future? EWD1137.html
1138 65 Total-order junctivity
1139 82 A relational bagatelle
1140 75 The arithmetic mean and the geometric mean EWD1140.html
1141 236 Notational considerations and the relational calculus
1142 42 It is all distributivity EWD1142.html
1143 200 Some annotated proofs
1144 221 More annotated proofs (a sequel to 1143)
1145 35 A somewhat open letter to Cathleen Synge Morawetz EWD1145.html
1146 65 The transitivity of the implication
1147 101 More on monotonic predicate transformers and the introduction of dummies (see EWD1117)
1148 76 A more disentangled characterization of extreme solutions
1149 87 Perry Moerland's proof of Carel Scholten's theorem
1150 589 On the design of calculational proofs
1151 100 A terrible Thursday EWD1151.html
1152 148 Het intellectuele gehalte van informatica EWD1152.html
1153 145 On bags and identical twins
1154 448 A derivation of a proof by D. Zagier
1155 77 A prime is in at most 1 way the sum of 2 squares EWD1155.html
1155a 127 A prime is in at most 1 way the sum of 2 squares EWD1155a.html
1156 61 Voorwoord (voor jaarboek studievereniging UT) EWD1156.html
1157 188 Introducing a course on program design and presentation EWD1157.html
1158 85 A bagatelle on Euclid's Algorithm
1159 112 A note on ``tail invariants''
1160 74 How subtypes should enter the picture
1161 49 How promiscuous are the French ? EWD1161.html
1162 125 A detailed derivation of a very simple program
1163 97 Transitivity as an (unexpected?) consequence
1164 230 A tentative axiomatization of ascending sequences
1165 276 There is still a war going on EWD1165.html
1166 295 ``From my Life'' EWD1166.html
1167 65 A regrettable cover
1168 44 On two equations that have the same extreme solution
1169 55 An alternative of the ETAC to EWD1163
1170 92 Equilateral triangles and rectangular grids EWD1170.html
1171 137 The argument about the arithmetic mean and the geometric mean, heuristics included EWD1171.html
1172 108 Pythagorean triples, or the design of a theorem
1173 106 A theorem proved by John Segers
1174 176 The heuristics of a proof by Jan L.A. van de Snepscheut and Richard S. Bird
1174a 202 Heuristics for a calculational proof
1175 332 The strengths of the academic enterprise EWD1175.html
1176 111 A chutzpah
1177 124 In Memoriam Jan L.A. van de Snepscheut EWD1177.html
1178 88 On an argument by J.A. Carruth & J. Misra
1179 91 A sorry parade EWD1179.html
1180 103 Heuristics for a very simple Euclidean proof EWD1180.html
1181 32 Don't mix unary pre- and postfix operators EWD1181.html
1182 68 Counting characters
1183 48 ``Less than'' in terms of ``at most''
1184 103 Our book's omission on quantification over scalar subtypes
1185 180 Lifting, orders, and the Galois connection
1186 43 Ping-pong arguments and Leibniz's principle
1187 155 Boolean connectives yield punctual expressions
1188 115 A problem from Zhendong Patrick Su (including an alternative solution by R.Boute EWD1188.html
1189 38 Another ping-pong argument from Leibniz's principle
1190 111 Problem 10406 from The American Mathematical Monthly, Volume 101, Number 8 / October 1994 EWD1190.html
1191 83 Junctivity and massaging quantification
1192 150 The very first beginnings of lattice theory
1193 262 On arcs and angles EWD1193.html
1194 68 Z.P. Su's second problem EWD1194.html
1195 84 Another forced ping-pong argument?
1196 79 Generators of extreme values
1197 120 A termination argument
1198 55 Jan van de Snepscheut's tiling problem EWD1198.html
1199 63 A supplement to EWD1140 and EWD1171 EWD1199.html

Revised 17-Jun-2013