Pages that link to "Item:Q5747863"
From MaRDI portal
The following pages link to CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond (Q5747863):
Displaying 28 items.
- CoCoALib (Q12912) (← links)
- The computation of generalized Ehrhart series in normaliz (Q480673) (← links)
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz (Q650840) (← 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)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Rings: an efficient JVM library for commutative algebra (invited talk) (Q2175563) (← 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)
- Algebraic stories from one and from the other pockets (Q2313968) (← links)
- On stability properties of powers of polymatroidal ideals (Q2323310) (← links)
- Modular strategic SMT solving with \textbf{SMT-RAT} (Q2414693) (← links)
- Koszul Algebras and Computations (Q2974695) (← links)
- Small Gröbner fans of ideals of points (Q3296140) (← links)
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (Q3453240) (← links)
- (Q4394965) (← links)
- <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> (Q4593060) (← links)
- Employing C++ Templates in the Design of a Computer Algebra Library (Q5041073) (← links)
- Spectra of quadratic vector fields on $\mathbb{C}^2$: The missing relation (Q5154994) (← links)
- Stanley Decompositions Using CoCoA (Q5244654) (← links)
- What is new in CoCoALib and CoCoA-5? (Q5270182) (← links)
- Extremal behavior in sectional matrices (Q5383815) (← links)
- The Algebraic Method in Quadrature for Uncertainty Quantification (Q5741182) (← links)
- Satisfiability modulo finite fields (Q6535532) (← links)
