RENE , Last Update: Feb. 6, 2012 [Monthly problem 11615 added, courtesy of Matthew Russell]. Tested on Maple9 and below. A Maple package that gives very elegant and succinct Maple-statements of fifty five famous theorems in Plane Geometry, and 14 Monthly Problems, that enable their immediate proof by Maple. It makes explicit the 350-year-old secret, still kept away from school-children, that Plane Geometry is all routineable. This Maple package was adapted (and largely extended) from Shalosh B. Ekhad, XIV’s Elementary Geometry Textbook(ca. 2050) .