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: |