up previous next
3.9.18 Geometrical Theorem-Proving
|
***** NOT YET UPDATED TO CoCoA-5: follow with care *****
Supported CoCoA Package
TITLE : thmproving.cpkg
DESCRIPTION : CoCoA package for geometrical theorem-proving in euclidean space
AUTHOR : L. Bazzotti, G. Dalzotto
LOADING INSTRUCTIONS
-- Enter
$contrib/thmproving.Man();
to get a complete description of the package including a suggested alias.
-- Enter
$contrib/thmproving.About();
to find the version number. You may want to check the CoCoA
homepage for the latest version.