scientific article; zbMATH DE number 1515218

Publication date: 10 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

monomial ideal Gröbner bases elimination theory homomorphisms syzygy computational commutative algebra Buchberger algorithm Hilbert's Nullstellensatz term ordering ideal membership problem CoCoA modules over polynomial rings polynomial equations in several variables

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra (13-01) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02) Computational aspects and applications of commutative rings (13Pxx)

Related Items

Bayesian networks for discrete multivariate data: An algebraic approach to inference ⋮ Computing border bases ⋮ Monomial ideals and the Scarf complex for coherent systems in reliability theory. ⋮ Finite group characters on free resolutions ⋮ Hartogs phenomena and antisyzygies for systems of differential equations ⋮ Applications of Gröbner bases to signal and image processing: a survey ⋮ Multidimensional behaviors: the state-space paradigm ⋮ Bounding the degree of solutions of differential equations ⋮ Optimization over the Boolean hypercube via sums of nonnegative circuit polynomials ⋮ On protocols for the automated discovery of theorems in elementary geometry ⋮ Deformations of border bases ⋮ Canonical state representations and Hilbert functions of multidimensional systems ⋮ A matrix of linear forms which is annihilated by a vector of indeterminates ⋮ On the construction of holomorphic foliations without invariant subvarieties of positive dimension ⋮ Algorithms for checking zero-dimensional complete intersections ⋮ Algorithms for the theory of restrictions of scalar $n$-D systems to proper subspaces of $\mathbb {R}^n$ ⋮ Gröbner bases and their application to the Cauchy problem on finitely generated affine monoids ⋮ Ranking committees, income streams or multisets ⋮ A bridge between dynamic geometry and computer algebra ⋮ Verification of a low-degree polynomial vanishing at empirical points ⋮ Border bases and kernels of homomorphisms and of derivations ⋮ Prony's method on the sphere ⋮ Simple varieties for limited precision points ⋮ A characterization of saturated designs for factorial experiments ⋮ The scheme of liftings and applications ⋮ Computing coupled border bases ⋮ A signature based border basis algorithm ⋮ Quasicoherent sheaves on toric schemes ⋮ Enumerating partial Latin rectangles ⋮ Index calculus in the trace zero variety ⋮ A class of statistical models to weaken independence in two-way contingency tables ⋮ Twin-float arithmetic ⋮ Propagating weights of tori along free resolutions ⋮ The integration of systems of linear PDEs using conservation laws of syzygies ⋮ Syzygies for Metropolis base chains ⋮ Computing inhomogeneous Gröbner bases ⋮ Confounding revisited with commutative computational algebra ⋮ Kähler differential algebras for 0-dimensional schemes ⋮ Probabilistic analysis on Macaulay matrices over finite fields and complexity of constructing Gröbner bases ⋮ An algebraic approach to Hough transforms ⋮ System theory for system identification. ⋮ Set systems: order types, continuous nondeterministic deformations, and quasi-orders ⋮ Different approaches to the complex of three Dirac operators ⋮ Reconstructing biochemical cluster networks ⋮ Syzygies of grids of projective lines ⋮ Rational components of Hilbert schemes ⋮ Solving multivariate polynomial systems and an invariant from commutative algebra ⋮ Kähler differentials for fat point schemes in $\mathbb{P}^1\times\mathbb{P}^1$ ⋮ Implicitization of hypersurfaces ⋮ Gröbner bases and Diophantine analysis ⋮ Corrigendum to: ``The F5 criterion revised ⋮ Algebraic solutions of plane vector fields ⋮ Characterizations of zero-dimensional complete intersections ⋮ Polynomial designs. I: Polynomial characterizations of common properties of a design ⋮ Estimate-based goodness-of-fit test for large sparse multinomial distributions ⋮ Numerical computation of H-bases ⋮ Symbolic computation on the partition lattice of an $n$-set ⋮ Complexity of Gröbner basis detection and border basis detection ⋮ Hyperplane sections, Gröbner bases, and Hough transforms ⋮ The geometry of border bases ⋮ A $p$-adic RANSAC algorithm for stereo vision using Hensel lifting ⋮ Filtrations and distortion in infinite-dimensional algebras. ⋮ 2-level fractional factorial designs which are the union of non trivial regular designs ⋮ Deterministic normal position transformation and its applications ⋮ Approximate polynomial GCD by approximate syzygies ⋮ Higher weights for the Lagrangian-Grassmannian codes ⋮ Characterizations of border bases ⋮ An algebraic approach to rule based expert systems ⋮ Improved evaluation codes defined by plane valuations ⋮ A conjecture on critical graphs and connections to the persistence of associated primes ⋮ Discovery of statistical equivalence classes using computer algebra ⋮ Computational aspects of Burnside rings. II: Important maps ⋮ Decomposition of Feynman integrals by multivariate intersection numbers ⋮ Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares ⋮ Computational methods for asynchronous basins ⋮ Stable border bases for ideals of points ⋮ Canonical Hilbert-Burch matrices for power series ⋮ Approximate computation of zero-dimensional polynomial ideals ⋮ Rotatable designs and $\mathcal G$-weakly invariant designs ⋮ An algebraic algorithm for the resolution of singularities of foliations ⋮ Codes on linear sections of the Grassmannian ⋮ Hilbert polynomials of Kähler differential modules for fat point schemes ⋮ Supporting degrees of multi-graded local cohomology modules ⋮ A short history of algebraic statistics ⋮ Sequential importance sampling of binary sequences ⋮ Hilbert function of local Artinian level rings in codimension two ⋮ Gröbner bases for spaces of quadrics of codimension 3 ⋮ Finding endomorphisms of Drinfeld modules ⋮ On border basis and Gröbner basis schemes ⋮ Degree bounds for Gröbner bases of modules ⋮ Almost vanishing polynomials for sets of limited precision points ⋮ Computations in the ring of quaternionic polynomials ⋮ A combinatorial approach to involution and $\delta $-regularity. II: Structure analysis of polynomial modules with Pommaret bases ⋮ Properties of the toric rings of a chordal bipartite family of graphs ⋮ An algebraic attack to the Bluetooth stream cipher \textsc{E0} ⋮ On the regularity of the monomial point of a border basis scheme ⋮ Galois orbits of TQFTs: symmetries and unitarity ⋮ The calculation of radical ideals in positive characteristic ⋮ Polynomials for classification trees and applications ⋮ Simple signature based iterative algorithm for calculation of Gröbner bases ⋮ Computational algebraic analysis methods in Clifford analysis ⋮ Subideal border bases ⋮ Rational Points and Trace Forms on a Finite Algebra over a Real Closed Field ⋮ The space of nodal curves of type $p,q$ with given Weierstraß semigroup ⋮ Semistable Vector Bundles and Tannaka Duality from a Computational Point of View ⋮ Polynomial designs. II : Some existence results of exact rotatable spherical designs ⋮ Koszul homology and extremal properties of Gin and Lex ⋮ Efficiently computing minimal sets of critical pairs ⋮ A computer-aided proof of a conjecture in Euclidean geometry ⋮ Vanishing configurations in network dynamics with asynchronous updates ⋮ Invariant syzygies for the Hermitian Dirac operator ⋮ Smoothable Gorenstein Points Via Marked Schemes and Double-generic Initial Ideals ⋮ Unnamed Item ⋮ Algebraic Markov Bases and MCMC for Two‐Way Contingency Tables ⋮ Minimal free resolution of a finitely generated module over a regular local ring ⋮ Inverse multivariate polynomial root-finding: numerical implementations of the affine and projective Buchberger-Möller algorithm ⋮ The K\"ahler Different of a Set of Points in $\mathbb{P}^m\times\mathbb{P}^n$ ⋮ Gröbner bases techniques for an $S$-packing $k$-coloring of a graph ⋮ The Gröbner fan of the Hilbert scheme ⋮ Computational aspects of Burnside rings. I: The ring structure ⋮ On a minimal solution for the indefinite multidimensional truncated moment problem ⋮ Computing border bases using mutant strategies ⋮ The canonical ring of a stacky curve ⋮ Toric eigenvalue methods for solving sparse polynomial systems ⋮ On characteristic cones of discrete $n$D autonomous systems: theory and an algorithm ⋮ Cotangent spaces and separating re-embeddings ⋮ Computers as a novel mathematical reality. II: Waring's problem ⋮ Axioms for a theory of signature bases ⋮ A computational approach to analyze the Hadamard quasigroup product ⋮ MultivariateApart: generalized partial fractions ⋮ Parametrizations of ideals in $K[x,y$ and $K[x,y,z]$] ⋮ Saturation and vanishing ideals ⋮ Restricted Gröbner fans and re-embeddings of affine algebras ⋮ Entanglement-assisted quantum error-correcting codes from subfield subcodes of projective Reed-Solomon codes ⋮ Computing the binomial part of a polynomial ideal ⋮ Unnamed Item ⋮ Gröbner basis cryptosystems ⋮ On the uniformity of zero-dimensional complete intersections ⋮ Koszul Algebras and Computations ⋮ Primary Decompositions ⋮ The Dedekind different of a Cayley–Bacharach scheme ⋮ Conditional tests on basins of attraction with finite fields ⋮ Reduced Gröbner bases and Macaulay-Buchberger basis theorem over Noetherian rings ⋮ Computing all border bases for ideals of points ⋮ Computing subschemes of the border basis scheme ⋮ A lattice formulation of the noncommutative F4 procedure ⋮ Noncommutative Gröbner Bases: Applications and Generalizations ⋮ Small Gröbner fans of ideals of points ⋮ Further results on homogeneous Gröbner bases under composition ⋮ Computing zero-dimensional schemes ⋮ The Gröbner fan and Gröbner walk for modules ⋮ Generic initial ideals of points and curves ⋮ Markov bases and structural zeros ⋮ Algebraic solutions of holomorphic foliations: an algorithmic approach ⋮ Gröbner bases of ideals invariant under endomorphisms. ⋮ Differential operators on orbifolds ⋮ On the Cayley-Bacharach Property ⋮ Expressing Combinatorial Problems by Systems of Polynomial Equations and Hilbert's Nullstellensatz ⋮ CATEGORICAL COMPLEXITY ⋮ Gröbner bases and generalized Padé approximation ⋮ Ideal Turaev-Viro invariants ⋮ Time-delay interferometry ⋮ Are Buchberger's criteria necessary for the chain condition? ⋮ Computing invariants of algebraic groups in arbitrary characteristic ⋮ Algebraic statistics of level codings for fractional factorial designs ⋮ A note on Gröbner bases and Berlekamp's algorithm ⋮ From grids to pseudo-grids of lines: Resolution and seminormality ⋮ Toric statistical models: parametric and binomial representations ⋮ From Oil Fields to Hilbert Schemes ⋮ Regularization and Matrix Computation in Numerical Polynomial Algebra ⋮ Effectivity of Brauer-Manin obstructions ⋮ Algebraic independence in positive characteristic: A $p$-adic calculus ⋮ Time-delay interferometry ⋮ A Polyhedral Characterization of Border Bases ⋮ Algebraic exact inference for rater agreement models ⋮ Sequential importance sampling for multiway tables ⋮ Invariant resolutions for several Fueter operators ⋮ Flat families by strongly stable ideals and a generalization of Gröbner bases ⋮ Multivariate polynomial interpolation with perturbed data ⋮ Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems ⋮ Androids Armed With Poisoned Chocolate Squares: Ideal Nim and Its Relatives ⋮ Computing quot schemes via marked bases over quasi-stable modules ⋮ Generic Initial Ideals and Distractions ⋮ Standard bases for modules over polynomial subalgebras ⋮ The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable ⋮ On conversions from CNF to ANF ⋮ Modular Algorithms for Computing a Generating Set of the Syzygy Module ⋮ Ideals Modulo a Prime ⋮ Two polynomial representations of experimental design ⋮ A computational algebraic geometry approach to analyze pseudo-random sequences based on Latin squares ⋮ Algebraic invariants of certain projective monomial curves ⋮ On multivariate polynomial matrix factorization problems ⋮ Green's hyperplane restriction theorem: an extension to modules ⋮ Minimization of non-smooth, non-convex functionals by iterative thresholding ⋮ Kähler differentials and Kähler differents for fat point schemes ⋮ Exact tests for singular network data ⋮ Almost vanishing polynomials and an application to the Hough transform

Uses Software

CoCoA