up previous next

1.7.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.