``A short (formal calculus) proof of the Bieberbach conjecture (after
L. Weinstein)'' (with S. B. Ekhad), appeared in `Jerusalem Combinatorics',
H. Barcello and G.Kalai, eds., Contemporary Math 178, 1995).
Gil Kalai said to me that it is too bad that this is not how the
first proof of the Bieberbach conjecture was found. Don't worry, Gil,
I am sure the first proof of the Riemann Hypothesis would be found
by a computer.
.dvi version (for previewing)
Post-Publication note (written Oct. 2, 1996):
When reviewing this paper for the Zentrelblatt,
Wolfram Koepf found a slight inaccuracy in the
presentation that he kindly fixed, see
his review of this paper
Doron Zeilberger's List of Papers
Doron Zeilberger's Home Page