New in CoCoA-5.2.4 and CoCoALib-0.99570 for SC-Square
      Authors: John Abbott, Anna Maria Bigatti and Elisa Palezzato
Paper Information
| Title: | New in CoCoA-5.2.4 and CoCoALib-0.99570 for SC-Square | 
| Authors: | John Abbott, Anna Maria Bigatti and Elisa Palezzato | 
| Proceedings: | SCSC Papers | 
| Editors: | Anna Maria Bigatti and Martin Brain | 
| Keywords: | Groebner bases, factorization, algebraic extensions, real roots, interval arithmetics, CoCoA and MathSAT | 
| Abstract: | ABSTRACT. CoCoALib is a C++ software library offering operations on polynomials, ideals of polynomials, and related objects. The principal developers of CoCoALib are members of the SC-square project. We give an overview of the latest developments of the library, especially those relating to the project SC-square. The CoCoA software suite includes also the programmable, interactive system CoCoA-5. Most of the operations in CoCoALib are also accessible via CoCoA-5. The programmability of CoCoA-5 together with its interactivity help in fast prototyping and testing conjectures. | 
| Pages: | 7 | 
| Talk: | Jul 11 11:25 (Session 64G: Extended Abstracts: Symbolic Computation) | 
| Paper: |  |