The following pages link to CoCoALib (Q12912):
Displaying 46 items.
- Twin-float arithmetic (Q412221) (← links)
- Computational algebraic algorithms for the reliability of generalized \(k\)-out-of-\(n\) and related systems (Q417960) (← links)
- An algebraic exploration of dominating sets and Vizing's conjecture (Q426851) (← links)
- On the free resolution induced by a Pommaret basis (Q480668) (← links)
- The computation of generalized Ehrhart series in normaliz (Q480673) (← links)
- Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14--18, 2015. Proceedings (Q499580) (← links)
- Computations and combinatorics in commutative algebra. EACA school, Valladolid, Spain, 2013 (Q502352) (← links)
- Implicitization of hypersurfaces (Q504409) (← links)
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz (Q650840) (← links)
- Computational methods for asynchronous basins (Q727917) (← links)
- Computing the support of monomial iterated mapping cones (Q992802) (← links)
- Almost vanishing polynomials for sets of limited precision points (Q1034545) (← links)
- Resolving decompositions for polynomial modules (Q1634505) (← links)
- A constructive method for standard Borel fixed submodules with given extremal Betti numbers (Q1649040) (← links)
- On semigroup rings with decreasing Hilbert function (Q1682046) (← links)
- On the computation of the Ratliff-Rush closure, associated graded ring and invariance of a length (Q1711551) (← links)
- Fault-tolerant modular reconstruction of rational numbers (Q1711994) (← links)
- Computation of graded ideals with given extremal Betti numbers in a polynomial ring (Q1733305) (← links)
- The socle module of a monomial ideal (Q1983211) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Approximate polynomial GCD by approximate syzygies (Q2009224) (← links)
- Degree upper bounds for involutive bases (Q2035622) (← links)
- Complementary decompositions of monomial ideals and involutive bases (Q2100115) (← links)
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) (← links)
- Minimal cellular resolutions of the edge ideals of forests (Q2185232) (← links)
- Biangular lines revisited (Q2230922) (← links)
- Results on the Hilbert coefficients and reduction numbers (Q2274773) (← links)
- Constructions of maximum few-distance sets in Euclidean spaces (Q2290349) (← links)
- New characterizations of freeness for hyperplane arrangements (Q2304214) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- Computing and using minimal polynomials (Q2307625) (← links)
- Algebraic stories from one and from the other pockets (Q2313968) (← links)
- On stability properties of powers of polymatroidal ideals (Q2323310) (← links)
- Hyperplane arrangements in CoCoA (Q2325367) (← links)
- Pruned cellular free resolutions of monomial ideals (Q2330310) (← links)
- Modular strategic SMT solving with \textbf{SMT-RAT} (Q2414693) (← links)
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (Q2512544) (← links)
- Mathematical software -- ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13--17, 2010. Proceedings (Q2638151) (← links)
- Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings (Q2638157) (← links)
- The two-distance sets in dimension four (Q2695467) (← links)
- Resolving Decompositions for Polynomial Modules (Q2829988) (← links)
- What Is New in CoCoA? (Q2879147) (← links)
- Integration of Libnormaliz in CoCoALib and CoCoA 5 (Q2879189) (← links)
- Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms (Q2883796) (← links)
- Koszul Algebras and Computations (Q2974695) (← links)
- (Q3087202) (← links)
