up previous next
1.10.1 CoCoALib
CoCoALib http://cocoa.dima.unige.it/cocoalib.

CoCoALib is the mathematical core of CoCoA-5. It may be used directly as a C++ library.