Plane Geometry
Shalosh B. Ekhad XIV. A fully illustrated and completely self-contained Elementary Geometry textbook (ca. 2050), downloaded from the future by Doron Zeilberger. Entirely written in Maple.