CoCoALib
From MaRDI portal
Cited in
(92)- Almost vanishing polynomials for sets of limited precision points
- CoCoA
- Mathemagix
- Resolving decompositions for polynomial modules
- A constructive method for standard Borel fixed submodules with given extremal Betti numbers
- On semigroup rings with decreasing Hilbert function
- DEpthLAUNAY
- On the computation of the Ratliff-Rush closure, associated graded ring and invariance of a length
- Fault-tolerant modular reconstruction of rational numbers
- Computation of graded ideals with given extremal Betti numbers in a polynomial ring
- libpoly
- Frobby
- GiNaCRA
- SgpViz
- The socle module of a monomial ideal
- SgpDec
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Approximate polynomial GCD by approximate syzygies
- CaTS
- Degree upper bounds for involutive bases
- Complementary decompositions of monomial ideals and involutive bases
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- NZMATH
- PARAM
- IFSGen4LaTeX
- Minimal cellular resolutions of the edge ideals of forests
- ProjectionCAD
- libnormaliz
- Biangular lines revisited
- Results on the Hilbert coefficients and reduction numbers
- Constructions of maximum few-distance sets in Euclidean spaces
- New characterizations of freeness for hyperplane arrangements
- Metalibm
- Cylindrical algebraic decomposition with equational constraints
- Computing and using minimal polynomials
- Algebraic stories from one and from the other pockets
- On stability properties of powers of polymatroidal ideals
- Hyperplane arrangements in CoCoA
- Pruned cellular free resolutions of monomial ideals
- Modular strategic SMT solving with \textbf{SMT-RAT}
- SMT-RAT
- CArL
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings
- 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
- Help
- The two-distance sets in dimension four
- raSAT
- Resolving decompositions for polynomial modules
- KNOPPIX/Math
- What is new in CoCoA?
- Integration of libnormaliz in CoCoALib and CoCoA 5
- Computation of the (n-1)-st Koszul homology of monomial ideals and related algorithms
- Koszul algebras and computations
- HadamardSearch
- A monomial week
- ADAM
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- Janet bases and resolutions in \textsc{CoCoALib}
- Theoryguru
- HASE
- Twin-float arithmetic
- Computational algebraic algorithms for the reliability of generalized \(k\)-out-of-\(n\) and related systems
- arrangements
- An algebraic exploration of dominating sets and Vizing's conjecture
- cutgeneratingfunctionology
- CylindricalAlgebraicDecompose
- PRISM-PSY
- PROPhESY
- Normaliz 2013--2016
- Gröbner bases for everyone with CoCoA-5 and CoCoALib
- On the free resolution induced by a Pommaret basis
- The computation of generalized Ehrhart series in normaliz
- Ideals modulo a prime
- Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14--18, 2015. Proceedings
- Computations and combinatorics in commutative algebra. EACA school, Valladolid, Spain, 2013
- Employing C++ templates in the design of a computer algebra library
- Implicitization of hypersurfaces
- Monomial resolutions for efficient computation of simplicial homology
- Spectra of quadratic vector fields on $\mathbb{C}^2$: The missing relation
- Computation of Gröbner bases
- The F5 criterion revised
- Stanley decompositions using CoCoA
- What is new in CoCoALib and CoCoA-5?
- Extremal behavior in sectional matrices
- The algebraic method in quadrature for uncertainty quantification
- Interfacing external CA systems for Gröbner bases computation in Mizar proof checking
- FACT
- Zephyrus2
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
- Computational methods for asynchronous basins
- Computing the support of monomial iterated mapping cones
This page was built for software: CoCoALib
