up previous next
1.8.13 Geometrical Theorem-Proving
***** NOT YET UPDATED TO CoCoA-5: follow with care *****

TITLE       : thmproving.cpkg
DESCRIPTION : CoCoA package for geometrical theorem-proving in euclidean space
AUTHOR      : L. Bazzotti, G. Dalzotto

-- Enter
       $contrib/thmproving.Man();
   to get a complete description of the package including a suggested alias.