The following pages link to CoCoA (Q12911):
Displaying 50 items.
- Bipolynomial Hilbert functions (Q994282) (← links)
- The minimal resolutions of double points in \(\mathbb {P}^1 \times \mathbb P^{1}\) with ACM support (Q995632) (← links)
- Stable border bases for ideals of points (Q999088) (← links)
- Contracted ideals and the Gröbner fan of the rational normal curve (Q1005844) (← links)
- Secant varieties to osculating varieties of Veronese embeddings of \(\mathbb P^n\) (Q1014588) (← links)
- Gröbner bases for spaces of quadrics of codimension 3 (Q1017674) (← links)
- New developments in the theory of Gröbner bases and applications to formal verification (Q1017680) (← links)
- Bowker's test for symmetry and modifications within the algebraic framework (Q1020066) (← links)
- On border basis and Gröbner basis schemes (Q1022271) (← links)
- Regularity bounds by minimal generators and Hilbert function (Q1022279) (← links)
- Rational curves of Castelnuovo-Mumford regularity \(d - r+1\) (Q1028297) (← links)
- Almost vanishing polynomials for sets of limited precision points (Q1034545) (← links)
- Procedures to investigate injectivity of polynomial maps and to compute the inverse (Q1181001) (← links)
- Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (Q1188645) (← links)
- Parametrization of the orbits of cubic surfaces (Q1268121) (← links)
- Straightening law and powers of determinantal ideals of Hankel matrices (Q1272793) (← links)
- Computing toric ideals (Q1283192) (← links)
- Computation of maximal pre-controllability submodules over a Noetherian ring (Q1292277) (← links)
- The tangent cone algorithm and homogenization (Q1346190) (← links)
- Quadrics through a set of points and their syzygies (Q1346320) (← links)
- A logic and computer algebra-based expert system for diagnosis of anorexia (Q1349162) (← links)
- An algorithm for computing minimal curves (Q1358262) (← links)
- Computing minimal finite free resolutions (Q1358902) (← links)
- Computation of Hilbert-Poincaré series (Q1361198) (← links)
- Flatness testing and torsionfree morphisms (Q1376310) (← links)
- The Hilbert functions of ACM sets of points in \({\mathbb P}^{n_1} {\times}\dots{\times}{\mathbb P}^{n_k}\) (Q1399177) (← links)
- Canonical modules of certain edge subrings (Q1399683) (← links)
- Modular algorithms for computing Gröbner bases. (Q1401905) (← links)
- Bounding the rational LS-category of certain spaces via the Hilbert function. (Q1403826) (← links)
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692) (← links)
- Confounding revisited with commutative computational algebra (Q1410291) (← links)
- Some special configurations of points in \(\mathbb P^n\) (Q1415349) (← links)
- Maximal rank and minimal generation of some parametric varieties. (Q1421248) (← links)
- On the Gröbner bases of some symmetric systems and their application to coding theory. (Q1426139) (← links)
- Classification of two-level factorial fractions (Q1567519) (← links)
- Minimally generating ideals of rational parametric curves in polynomial time (Q1582298) (← links)
- Hilbert function and resolution of the powers of the ideal of the rational normal curve (Q1582732) (← links)
- Constructing schemes with prescribed cohomology in arbitrary codimension (Q1582745) (← links)
- The Alexander duality functors and local duality with monomial support (Q1584611) (← links)
- Computer algebra and algebraic geometry -- achievements and perspectives (Q1587227) (← links)
- Computing ideals of points (Q1588025) (← links)
- Complexes of Dirac operators in Clifford algebras (Q1601768) (← links)
- On the Grauert-Riemenschneider vanishing theorem (Q1604387) (← links)
- Special first order systems in Clifford analysis and resolutions. (Q1607597) (← links)
- An expert system for managing medical appropriateness criteria based on computer algebra techniques (Q1609885) (← links)
- An application of the Gröbner basis in computation for the minimal polynomials and inverses of block circulant matrices (Q1611837) (← links)
- Monomial ideals and their decompositions (Q1668473) (← links)
- Distinguishing \(\Bbbk\)-configurations (Q1670786) (← links)
- An elementary proof of the group law for elliptic curves (Q1676248) (← links)
- Singularities of plane rational curves via projections (Q1680164) (← links)
