by
Shalosh B. Ekhad, XIV, downloaded from the Future by
Doron Zeilberger
First Placed Here: May 12, 1998.
Last Update: Sept. 15, 1998.
IMPORTANT NOTE ADDED Nov. 1, 2001: This modest effort is now
a whole webbook, complete with pictures. Enjoy
Shalosh B. Ekhad's, XIV, ILLUSTRATED WEBBOOK
About 350 years ago, Rene Descartes made a revolution in Geometry.
But it took 400 years, and computers and Bruno Buchberger, to
fully utilize it.
In addition to its geometrical interest, this textbook gives
a glimpse of how math articles and books would look like in
fifty years (and perhaps much sooner!). Maple (or some
variant of it) will become the lingua-franca of math, and this will
improve communications between humans and machines, and
even between humans and other humans.
Update added 9/15/98: Both RENE and Gtext now work perfectly
on Maple V, ver. 3, ver.4, and ver. 5. If you
run
Input file for Gtext,with all the theorems, and times recorded,
on the above versions, you would get, respectively
Output of Gtext from Maple V,ver.3,
DOWNLOAD THE TEXTBOOK [(6 pages) of Maple Source Code (ASCII)]
You may prefer
RENE, the Maple package version (frequently updated).
(Appeared in Mathematical Intelligencer 21(3) [Summer 1999], 64-70.)
Note Added Aug. 17, 1998: Equipped with RENE, you should be able
to solve all Monthly problems on Plane Geometry.
For example, (in the latest version of RENE),
Type op(P10673) and op(P10678) to see the statements of
Monthly Problems 10673 and 10678 respectively.
To prove them, type (once in maple, and
after you have read in RENE, by typing:
read RENE;) P10673(); and P10678();
Output of Gtext from Maple V, ver.4,
Output of Gtext from Maple V, ver.5 .
Doron Zeilberger's List of Papers