John Abbott, Anna Maria Bigatti. CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. In Erika Ábrahám, James H. Davenport, Pascal Fontaine, editors, Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. Volume 1804 of CEUR Workshop Proceedings, pages 1-3, CEUR-WS.org, 2016. [doi]