CoCoALib
From MaRDI portal
swMATH144MaRDI QIDQ12912FDOQ12912
Author name not available (Why is that?)
Official website: http://cocoa.dima.unige.it/
Cited In (90)
- Biangular lines revisited
- What is new in CoCoALib and CoCoA-5?
- Resolving decompositions for polynomial modules
- 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
- Ideals modulo a prime
- Monomial resolutions for efficient computation of simplicial homology
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings
- Gröbner bases for everyone with CoCoA-5 and CoCoALib
- Integration of libnormaliz in CoCoALib and CoCoA 5
- The \(F5\) criterion revised
- FACT
- Employing C++ templates in the design of a computer algebra library
- A monomial week
- Modular strategic SMT solving with \textbf{SMT-RAT}
- The algebraic method in quadrature for uncertainty quantification
- The socle module of a monomial ideal
- Pruned cellular free resolutions of monomial ideals
- Fault-tolerant modular reconstruction of rational numbers
- 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
- Cylindrical algebraic decomposition with equational constraints
- An algebraic exploration of dominating sets and Vizing's conjecture
- Zephyrus2
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Resolving decompositions for polynomial modules
- Computational methods for asynchronous basins
- Janet bases and resolutions in \textsc{CoCoALib}
- Minimal cellular resolutions of the edge ideals of forests
- Algebraic stories from one and from the other pockets
- Degree upper bounds for involutive bases
- Computation of Gröbner 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
- DEpthLAUNAY
- libpoly
- Frobby
- GiNaCRA
- SgpViz
- SgpDec
- CaTS
- NZMATH
- PARAM
- IFSGen4LaTeX
- ProjectionCAD
- libnormaliz
- Metalibm
- CArL
- SMT-RAT
- Help
- raSAT
- KNOPPIX/Math
- Interfacing external CA systems for Gröbner bases computation in Mizar proof checking
- Computing the support of monomial iterated mapping cones
- HadamardSearch
- ADAM
- Theoryguru
- HASE
- arrangements
- cutgeneratingfunctionology
- CylindricalAlgebraicDecompose
- PRISM-PSY
- PROPhESY
- On the free resolution induced by a Pommaret basis
- The computation of generalized Ehrhart series in normaliz
- The two-distance sets in dimension four
- Constructions of maximum few-distance sets in Euclidean spaces
- On semigroup rings with decreasing Hilbert function
- On stability properties of powers of polymatroidal ideals
- Computation of the \((n-1)\)-st Koszul homology of monomial ideals and related algorithms
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
- Koszul algebras and computations
- 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
- What is new in CoCoA?
- Stanley decompositions using CoCoA
- Extremal behavior in sectional matrices
- Normaliz 2013--2016
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- On the computation of the Ratliff-Rush closure, associated graded ring and invariance of a length
- 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
