Some features of \(CoCoA 3\)
From MaRDI portal
Publication:1382071
zbMath0920.68060MaRDI QIDQ1382071
A. Capani, Gianfranco Niesi, Lorenzo Robbiano
Publication date: 28 April 1998
Published in: Computer Science Journal of Moldova (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items
Reduction numbers and initial ideals, Non-cancelable Betti numbers and type vectors., Automatic determination of envelopes and other derived curves within a graphic environment, Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties, Koszul homology and extremal properties of Gin and Lex, An algorithm for computing minimal curves, A non-unimodal codimension 3 level \(h\)-vector, Improving the bounds of the multiplicity conjecture: The codimension 3 level case, Minimal free resolution of a finitely generated module over a regular local ring, The Hilbert functions which force the Weak Lefschetz property, On the variety parameterizing completely decomposable polynomials, A Gröbner bases-based rule based expert system for fibromyalgia diagnosis, Wallace-Simson theorem on four lines parallel to a plane, On the ideals of secant varieties to certain rational varieties, On the dimension of higher secant varieties of Segre varieties \(\mathbb P^n \times \cdots \times \mathbb P^n\), Bounding the rational LS-category of certain spaces via the Hilbert function., A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra, Extremal Betti numbers of graded modules, Some special configurations of points in \(\mathbb P^n\), Generic initial ideals of points and curves, Gröbner bases for spaces of quadrics of low codimension., The general hyperplane section of a curve, Moduli of plane curve singularities with a single characteristic exponent, Maximal depth property of finitely generated modules, Algorithms for solving reachability problems in 2-link planar arms using Gröbner bases, The homological degree of a module, Sparse squares of polynomials, Implicitization of a general union of parametric varieties, Burch's inequality and the depth of the blow up rings of an ideal., A family of metrics for biopolymers based on counting independent sets, Arithmetic degree and associated graded modules, On the resolution of ideals of fat points, On the secant varieties to the tangential varieties of a Veronesean, An algebraic approach to rule based expert systems, Ideals with maximal local cohomology modules, Detecting flat normal cones using Segre classes., Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems, CoCoA, Rational curves of Castelnuovo-Mumford regularity \(d - r+1\), Locus computation in dynamic geometry environment, Automated study of a regular trifolium, Computation of maximal pre-controllability submodules over a Noetherian ring, Constructing schemes with prescribed cohomology in arbitrary codimension, The Alexander duality functors and local duality with monomial support, Gröbner Bases of Simplicial Toric Ideals, Ranks of tensors, secant varieties of Segre varieties and fat points, A software tool for the investigation of plane loci, Computing the Sullivan Milnor-Moore S. S. and the rational LS category of certain spaces, On the Grauert-Riemenschneider vanishing theorem, The calculation of radical ideals in positive characteristic, An expert system for managing medical appropriateness criteria based on computer algebra techniques
