CoCoALib
CoCoALib: A C++ library for computations in commutative algebra⋯ and beyond. First released in 1988, CoCoA is a special-purpose system for doing Computations in Commutative Algebra: i.e. it is a system specialized in the algorithmic treatment of polynomials. It is freely available and offers a textual interface, an Emacs mode, and a graphical user interface common to most platforms (http://cocoa.dima.unige.it/).
Keywords for this software
References in zbMATH (referenced in 61 articles , 3 standard articles )
Showing results 1 to 20 of 61.
Sorted by year (- Abbott, John; Bigatti, Anna Maria; Robbiano, Lorenzo: Ideals modulo a prime (2021)
- Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon: Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (2021)
- Chu, Lizhong; Herzog, Jürgen; Lu, Dancheng: The socle module of a monomial ideal (2021)
- Ganzhinov, Mikhail; Szöllősi, Ferenc: Biangular lines revisited (2021)
- Hashemi, Amir; Parnian, Hossein; Seiler, Werner M.: Degree upper bounds for involutive bases (2021)
- Kudryashov, Yury; Ramírez, Valente: Spectra of quadratic vector fields on (\mathbbC^2): the missing relation (2021)
- Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo: Computing and using minimal polynomials (2020)
- Àlvarez Montaner, Josep; Fernández-Ramos, Oscar; Gimenez, Philippe: Pruned cellular free resolutions of monomial ideals (2020)
- Barile, Margherita; Macchia, Antonio: Minimal cellular resolutions of the edge ideals of forests (2020)
- Bigatti, Anna Maria; Palezzato, Elisa; Torielli, Michele: New characterizations of freeness for hyperplane arrangements (2020)
- England, Matthew; Bradford, Russell; Davenport, James H.: Cylindrical algebraic decomposition with equational constraints (2020)
- Szöllősi, Ferenc; Östergård, Patric R. J.: Constructions of maximum few-distance sets in Euclidean spaces (2020)
- Amata, Luca; Crupi, Marilena: Computation of graded ideals with given extremal Betti numbers in a polynomial ring (2019)
- Bigatti, Anna M.; Heras, Jónathan; Sáenz-de-Cabezón, Eduardo: Monomial resolutions for efficient computation of simplicial homology (2019)
- Bigatti, Anna; Palezzato, Elisa; Torielli, Michele: Extremal behavior in sectional matrices (2019)
- Karimi, Shokoufe; Mafi, Amir: On stability properties of powers of polymatroidal ideals (2019)
- Lichtblau, Daniel: Approximate polynomial GCD by approximate syzygies (2019)
- Mafi, Amir; Naderi, Dler: Results on the Hilbert coefficients and reduction numbers (2019)
- Palezzato, Elisa; Torielli, Michele: Hyperplane arrangements in CoCoA (2019)
- Abbott, John; Bigatti, Anna M.: CoCoA-5.2.2 and CoCoALib (2018)
Further publications can be found at: http://cocoa.dima.unige.it/research/publications.html