FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: