EWD number 
Size (KB) 
Title 
transcriptions 
1200 
304 
Only a matter of style? 
EWD1200.html 
1201 
89 
Triggered by Wim Feijen's treatment of ``Exists Forall => Forall Exists'' 

1202 
83 
The complete (n + 1)graph in ndimensional space 
EWD1202.html 
1203 
129 
Primes once more (re Kac & Ulam) 
EWD1203.html 
1204 
100 
Complete DAGs 
EWD1204.html 
1205 
124 
A trip to Harvard Law School, 1011 April 1995 
EWD1205.html 
1206 
81 
An unfortunate use of symbols 
EWD1206.html 
1207 
37 
A theorem about ``factors'' perhaps worth recording 
EWD1207.html 
1208 
200 
A result of rabbit removal 

1209 
174 
Why American Computing Science seems incurable 
EWD1209.html 
1210 
134 
The nonunique node multiplicity 
EWD1210.html 
1211a 
435 
On some very binary patterns (dedicated to F.E.J. Kruseman Aretz) 

1212 
114 
For the record: painting the squared plane 
EWD1212.html 
1213 
149 
Introducing a course on calculi 
EWD1213.html 
1214 
55 
The marriage agency 
EWD1214.html 
1215 
131 
Courtesy Dr. Birgit Schieder 
EWD1215.html 
1216 
39 
The equation x: [x] 
EWD1216.html 
1217 
377 
Comments on a Review of the Department 

1218 
70 
A few addenda to EWD1192 

1219 
93 
``I have a proof that ....'' 
EWD1219.html 
1220 
29 
Honors course ``Mathematical Methodology'', Spring 1996 
EWD1220.html 
1221a 
115 
Points in the plane (unfinished) 

1221b 
235 
Calculational proof design; an experiment 

1222 
85 
Inspired by ~[x] equiv [~x] 

1223 
49 
WLOG, or the misery of the unordered pair 

1224 
98 
Hm++, a new Professional Standard (From the desk of the chairman of the Board of Mathematics Inc.) 
EWD1224.html 
1225 
150 
Misra's weakest fair buffer 

1226 
24 
A simple geometrical theorem I did not know 
EWD1226.html 
1227 
109 
A somewhat open letter to David Gries 
EWD1227.html 
1228 
71 
Sylvester's theorem used (see EWD1016) 
EWD1228.html 
1229 
139 
Nondeterministic construction of an arbitrary witness 
EWD1229.html 
1230 
271 
Three very little problems from Eindhoven 

1231 
63 
The arithmetic and geometric means once more 
EWD1231.html 
1232 
21 
My simplest theorem 
EWD1232.html 
1233 
97 
A hint from monotonicity? 

1234 
82 
A problem communicated by Laurens de Vries 

1235 
87 
Een scheve schaats (English) 
EWD1235.html 
1236 
113 
The wifeswapping couples once more (See EWD1103 and EWD1115) 

1237 
32 
Elegance and effective reasoning (Fall 1996) 
EWD1237.html 
1238 
89 
Foreword 
EWD1238.html 
1239 
556 
A first exploration of effective reasoning 
EWD1239.html 
1240 
1767 
A little bit of lattice theory (replaced by 1240a) 

1240a 
638 
A little bit of lattice theory 

1241 
73 
The transitive closure of a wellfounded relation 

1243 
168 
The next fifty years 
EWD1243.html 
1243a 
198 
The next fifty years 
EWD1243a.html 
1244 
36 
The formula for sin(alpha + beta) 

1244a 
32 
The formula for sin.(alpha + beta) 

1245 
81 
A kind of converse of Leibniz's Principle 

1246 
44 
Courtesy Rajeev Joshi 

1247 
66 
Beware of the empty range 

1248 
46 
Homework #1 (See EWD996) 
EWD1248.html 
1249 
65 
Andrew's challenge once more (see EWD1247) 

1250 
67 
The couples, the river, and the little boat 
EWD1250.html 
1251 
122 
Two problems derived from Hugo Steinhaus 

1252 
183 
Convocation speech, December 8, 1996 
EWD1252.html 
1253 
23 
Mathematical induction's fixpoint 
EWD1253.html 
1254 
63 
A sequel to EWD1241 and WF 233/AvG 141 

1255 
296 
Pruning the search tree 
EWD1255.html 
1256 
77 
Mathematical Methodology, Spring 1997 
EWD1256.html 
1257 
76 
Defining the greatest common divisor 

1258 
45 
The ladder theorem 

1258a 
51 
The ladder theorem 
EWD1258a.html 
1260 
116 
The marked coins and the scale 
EWD1260.html 
1261 
83 
The angle bisectors of a triangle 

1263 
26 
A correction to EWD1240 

1265 
56 
The theorem of de Ceva once more 

1266a 
130 
Proving an implication via its converse 

1267 
227 
On the determinant of the product of two square matrices 

1268 
319 
The Mathematical Divide 
EWD1268.html 
1269 
118 
A simple proof of Hall's Theorem 

1270 
113 
How closures could have been invented 

1271 
273 
N cheers for determinants (N>>0) 

1272 
92 
A Geometry Problem from ``The Monthly'', March 1998 

1273 
79 
On Dijkstra's Lemma and Kruskal's Algorithm 
EWD1273.html 
1274 
143 
For the record: Yossi Shiloach's Algorithm 

1276 
262 
The algebraic core of a propositional logic (with Rutger M. Dijkstra) 

1277 
346 
Society's role in mathematics 
EWD1277.html 
1278 
255 
A calculational example 

1279 
77 
A simple country dance for transitivity and shunting 

1280 
270 
A tough experiment with the triangle calculus 

1280a 
350 
A formula is worth a thousand pictures (dedicated to Charles Antony Richard Hoare) 

1281 
98 
An iteration for the kth root with cubic convergence 

1282 
83 
On graphs whose nodes are Black or White 
EWD1282.html 
1283 
70 
How ``they'' try to corrupt ``us'' 
EWD1283.html 
1284 
727 
Computing Science: Achievements and Challenges 
EWD1284.html 
1285 
202 
To Cambridge by mistake (1318 April 1999) 
EWD1285.html 
1286 
67 
A partition theorem of Euler's generalized 

1287 
182 
Dear Tony, dearest Jill, and other people, dear or not 
EWD1287.html 
1288 
68 
Ulrich Berger's argument rephrased 
EWD1288.html 
1289 
100 
A 2colouring problem in the rational plane 

1290 
45 
Eliminating cascading carries 
EWD1290.html 
1291 
110 
Courtesy Georg Cantor and Jayadev Misra 

1292 
67 
When a symmetric operator distributes over (up) and (down) 

1293 
200 
Constructing the Binary Search once more 

1294a 
179 
Designing a calculational proof of Cantor's theorem 

1295 
144 
On the transitive closure of a wellfounded relation 

1296 
156 
On weighted means, geometric and arithmetic 

1296a 
96 
On weighted means, geometric and arithmetic 

1297 
84 
Triggered by a highschool exercise 
EWD1297.html 
1298 
544 
Under the spell of Leibniz's Dream 
EWD1298.html 
1299 
52 
On defining sets, suprema, and infima 
