Edsger W. Dijkstra

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	EWD1300: The Notational Conventions I Adopted, and Why	2002	Edsger W. Dijkstra
+	Designing a Calculational Proof of Cantor's Theorem	2001	Edsger W. Dijkstra Jayadev Misra
+	Designing a Calculational Proof of Cantor's Theorem	2001	Edsger W. Dijkstra Jayadev Misra
+	On the transitive closure of a wellfounded relation	2000	Edsger W. Dijkstra
+	Heuristics for a very simple Euclidean proof (EWD1180)	1997	Edsger W. Dijkstra
+	The transitive closure of a wellfounded relation (EWD1241)	1997	Edsger W. Dijkstra
+	The argument about the arithmetic mean and the geometric mean, heuristics included	1996	Edsger W. Dijkstra
+	On two equations that have the same extreme solution	1996	Edsger W. Dijkstra
+	A prime is in at most 1 way the sum of 2 squares	1996	Edsger W. Dijkstra
+	A bagatelle on Euclid's algorithm	1996	Edsger W. Dijkstra
+	Fibonacci and the greatest common divisor	1996	Edsger W. Dijkstra
+	Bulterman’s theorem on shortest trees (EWD1131)	1996	Edsger W. Dijkstra
+	A prime is in at most 1 way the sum of 2 squares (EWD1155a)	1996	Edsger W. Dijkstra
+	On two equations that have the same extreme solution (EWD1168)	1996	Edsger W. Dijkstra
+	Fibonacci and the greatest common divisor (EWD1077)	1996	Edsger W. Dijkstra
+	The argument about the arithmetic mean and the geometric mean, heuristics included. (EWD1171)	1996	Edsger W. Dijkstra
+	On the design of calculational proofs	1994	Edsger W. Dijkstra
+	On the economy of doing Mathematics	1993	Edsger W. Dijkstra
+	Designing the proof of Vizing’s Theorem	1992	Josyula R. Rao Edsger W. Dijkstra
+	On the design of a simple proof for Morley’s Theorem	1992	Edsger W. Dijkstra
+	Making a fair roulette from a possibly biased coin	1990	Edsger W. Dijkstra
+	On functions and equality	1990	Edsger W. Dijkstra Carel S. Schotten
+	The derivation of a proof	1989	J. S. van de Woude Edsger W. Dijkstra
+	A computing scientist’s approach to a once-deep theorem of Sylvester’s	1989	Edsger W. Dijkstra
+	The derivation of a proof by J.C.S.P. van der Woude	1989	Edsger W. Dijkstra
+	On binary operators and their derived relations	1988	Edsger W. Dijkstra
+	Extreme solutions of equations	1987	Edsger W. Dijkstra
+	A Personal Summary of the Gries—Owicki Theory	1982	Edsger W. Dijkstra
+	The Solution to a Cyclic Relaxation Problem	1982	Edsger W. Dijkstra
+	Finding the Maximum Strong Components in a Directed Graph	1982	Edsger W. Dijkstra
+	On Two Beautiful Solutions Designed by Martin Rem	1982	Edsger W. Dijkstra
+	A Proof of a Theorem Communicated to Us by S. Ghosh	1982	Edsger W. Dijkstra Carel S. Schölten
+	On Subgoal Induction	1982	Edsger W. Dijkstra
+	A Collection of Beautiful Proofs	1982	Edsger W. Dijkstra
+	Stationary behaviour of some ternary networks	1979	Edsger W. Dijkstra
+	In honour of Fibonacci	1979	Edsger W. Dijkstra
+	A theorem about odd powers of odd integers	1979	Edsger W. Dijkstra
+	Recursive programming : (Numerische Mathematik, 2(1960), p 312-318)	1960	Edsger W. Dijkstra
+	A note on two problems in connexion with graphs : (numerische mathematik, _1(1959), p 269-271)	1959	Edsger W. Dijkstra
+	Table of Everett's interpolation coefficients	1955	Mathematisch Centrum Edsger W. Dijkstra A. van Wijngaarden

Common Coauthors

Coauthor	Papers Together
Jayadev Misra	2
Mathematisch Centrum	1
A. van Wijngaarden	1
J. S. van de Woude	1
Carel S. Schölten	1
Josyula R. Rao	1
Carel S. Schotten	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Introduction to Geometry	1969	H. S. M. Coxeter	2