up previous next
3.9.19 Geometrical Theorem-Proving
Supported CoCoA Package
TITLE       : thmproving.cpkg
DESCRIPTION : CoCoA package for geometrical theorem-proving in euclidean space
AUTHOR      : L. Bazzotti, G. Dalzotto

-- Enter
   to get a complete description of the package including a suggested alias.
-- Enter
   to find the version number.  You may want to check the CoCoA
   homepage for the latest version.