up previous next
1.8.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.