CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond
From MaRDI portal
Publication:5747863
DOI10.1007/978-3-642-15582-6_15zbMath1267.13048OpenAlexW1556599981MaRDI QIDQ5747863
John Abbott, Anna Maria Bigatti
Publication date: 14 September 2010
Published in: Mathematical Software – ICMS 2010 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15582-6_15
Symbolic computation and algebraic computation (68W30) Computational aspects and applications of commutative rings (13P99)
Related Items
Employing C++ Templates in the Design of a Computer Algebra Library, Resolving decompositions for polynomial modules, SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving, A constructive method for standard Borel fixed submodules with given extremal Betti numbers, Modular strategic SMT solving with \textbf{SMT-RAT}, On semigroup rings with decreasing Hilbert function, Koszul Algebras and Computations, On the computation of the Ratliff-Rush closure, associated graded ring and invariance of a length, Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz, Extremal behavior in sectional matrices, Small Gröbner fans of ideals of points, The computation of generalized Ehrhart series in normaliz, Biangular lines revisited, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, The Algebraic Method in Quadrature for Uncertainty Quantification, Results on the Hilbert coefficients and reduction numbers, Constructions of maximum few-distance sets in Euclidean spaces, New characterizations of freeness for hyperplane arrangements, CoCoALib, Spectra of quadratic vector fields on $\mathbb{C}^2$: The missing relation, Algebraic stories from one and from the other pockets, On stability properties of powers of polymatroidal ideals, Stanley Decompositions Using CoCoA, What is new in CoCoALib and CoCoA-5?
Uses Software