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) .
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Hou, Xiaorong; Li, Hongbo; Wang, Dongming; Yang, Lu: “Russian killer” No. 2: a challenging geometric theorem with human and machine proofs. (2001)
- Ekhad, Shalosh B. XIV: Plane geometry: An elementary school textbook (ca. 2050 AD). (1999)