CoCoA
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Contracted ideals and the Gröbner fan of the rational normal curve
- Secant varieties to osculating varieties of Veronese embeddings of \(\mathbb P^n\)
- Gröbner bases for spaces of quadrics of codimension 3
- New developments in the theory of Gröbner bases and applications to formal verification
- Bowker's test for symmetry and modifications within the algebraic framework
- On border basis and Gröbner basis schemes
- Regularity bounds by minimal generators and Hilbert function
- Rational curves of Castelnuovo-Mumford regularity \(d - r+1\)
- Almost vanishing polynomials for sets of limited precision points
- Procedures to investigate injectivity of polynomial maps and to compute the inverse
- Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
- Parametrization of the orbits of cubic surfaces
- Straightening law and powers of determinantal ideals of Hankel matrices
- Computing toric ideals
- Cinderella
- CoCoALib
- conley
- Computation of maximal pre-controllability submodules over a Noetherian ring
- Epsilon
- FGb
- finvar.lib
- Gb
- Ginv
- HOM4PS
- IBM Scratchpad
- Macaulay2
- Maple
- MixedVol
- orderkdelaunay
- rhomboidtiling
- MuPAD
- Normaliz
- The tangent cone algorithm and homogenization
- Quadrics through a set of points and their syzygies
- PolyBoRi
- A logic and computer algebra-based expert system for diagnosis of anorexia
- REDUCE
- Risa/Asir
- An algorithm for computing minimal curves
- Computing minimal finite free resolutions
- SingSurf
- SINGULAR
- Computation of Hilbert-Poincaré series
- slimgb
- SNAP
- STRINGVACUA
- SYNAPS
- Flatness testing and torsionfree morphisms
- Felix
- Points
- The Hilbert functions of ACM sets of points in \({\mathbb P}^{n_1} {\times}\dots{\times}{\mathbb P}^{n_k}\)
- Canonical modules of certain edge subrings
- Modular algorithms for computing Gröbner bases.
- 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
- ApaTools
- Confounding revisited with commutative computational algebra
- Some special configurations of points in \(\mathbb P^n\)
- Maximal rank and minimal generation of some parametric varieties.
- webMathematica
- On the Gröbner bases of some symmetric systems and their application to coding theory.
- ALLTYPES
- DERIVE
- AKIRA
- Classification of two-level factorial fractions
- Minimally generating ideals of rational parametric curves in polynomial time
- Hilbert function and resolution of the powers of the ideal of the rational normal curve
- Constructing schemes with prescribed cohomology in arbitrary codimension
- The Alexander duality functors and local duality with monomial support
- Computer algebra and algebraic geometry -- achievements and perspectives
- Computing ideals of points
- Complexes of Dirac operators in Clifford algebras
- On the Grauert-Riemenschneider vanishing theorem
- Paradox
- Special first order systems in Clifford analysis and resolutions.
- An expert system for managing medical appropriateness criteria based on computer algebra techniques
- An application of the Gröbner basis in computation for the minimal polynomials and inverses of block circulant matrices
- JavaView
- MAGNUS
- 4ti2
- Monomial ideals and their decompositions
- Distinguishing -configurations
- An elementary proof of the group law for elliptic curves
- Singularities of plane rational curves via projections
- On bigraded regularities of Rees algebra
- PHoM
- LattE
- Primary components of codimension two lattice basis ideals
- RRQR
- Retracts and algebraic properties of cut algebras
- Gfan
- Computing the Betti table of a monomial ideal: a reduction algorithm
- Geometer's Sketchpad
- LAD
- Homology
- Free divisors and rational cuspidal plane curves
- Kan
- Fault-tolerant modular reconstruction of rational numbers
- On the minimal polynomials and the inverses of multilevel scaled factor circulant matrices
- Computation of graded ideals with given extremal Betti numbers in a polynomial ring
This page was built for software: CoCoA
