CoCoALib
From MaRDI portal
Software:12912
swMATH144MaRDI QIDQ12912FDOQ12912
Author name not available (Why is that?)
Cited In (61)
- Ideals Modulo a Prime
- Monomial Resolutions for Efficient Computation of Simplicial Homology
- What is new in CoCoALib and CoCoA-5?
- Employing C++ Templates in the Design of a Computer Algebra Library
- Title not available (Why is that?)
- The Algebraic Method in Quadrature for Uncertainty Quantification
- The socle module of a monomial ideal
- Integration of Libnormaliz in CoCoALib and CoCoA 5
- Pruned cellular free resolutions of monomial ideals
- Fault-tolerant modular reconstruction of rational numbers
- Koszul Algebras and Computations
- Hyperplane arrangements in CoCoA
- Computing and using minimal polynomials
- New characterizations of freeness for hyperplane arrangements
- Computation of graded ideals with given extremal Betti numbers in a polynomial ring
- Twin-float arithmetic
- Computation of Gröbner Bases
- What Is New in CoCoA?
- Biangular lines revisited
- Cylindrical algebraic decomposition with equational constraints
- An algebraic exploration of dominating sets and Vizing's conjecture
- Groebner Bases for Everyone with CoCoA-5 and CoCoALib
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Resolving decompositions for polynomial modules
- Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking
- Computational methods for asynchronous basins
- Mathematical software -- ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13--17, 2010. Proceedings
- Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings
- Minimal cellular resolutions of the edge ideals of forests
- Normaliz 2013–2016
- Algebraic stories from one and from the other pockets
- Degree upper bounds for involutive bases
- Results on the Hilbert coefficients and reduction numbers
- Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14--18, 2015. Proceedings
- Computational algebraic algorithms for the reliability of generalized \(k\)-out-of-\(n\) and related systems
- Stanley Decompositions Using CoCoA
- Computing the support of monomial iterated mapping cones
- On the free resolution induced by a Pommaret basis
- The computation of generalized Ehrhart series in normaliz
- The two-distance sets in dimension four
- Resolving Decompositions for Polynomial Modules
- Constructions of maximum few-distance sets in Euclidean spaces
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings
- On semigroup rings with decreasing Hilbert function
- On stability properties of powers of polymatroidal ideals
- Janet Bases and Resolutions in CoCoALib
- Computation of the \((n-1)\)-st Koszul homology of monomial ideals and related algorithms
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
- Computations and combinatorics in commutative algebra. EACA school, Valladolid, Spain, 2013
- Almost vanishing polynomials for sets of limited precision points
- A constructive method for standard Borel fixed submodules with given extremal Betti numbers
- Complementary decompositions of monomial ideals and involutive bases
- Approximate polynomial GCD by approximate syzygies
- Extremal behavior in sectional matrices
- On the computation of the Ratliff-Rush closure, associated graded ring and invariance of a length
- Modular strategic SMT solving with \textbf{SMT-RAT}
- The F5 criterion revised
- Spectra of quadratic vector fields on $\mathbb{C}^2$: The missing relation
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- Implicitization of hypersurfaces
This page was built for software: CoCoALib