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