Computing dimension and independent sets for polynomial ideals
From MaRDI portal
Publication:1116332
DOI10.1016/S0747-7171(88)80045-2zbMath0665.68024OpenAlexW1974296706MaRDI QIDQ1116332
Volker Weispfenning, Heinz Kredel
Publication date: 1988
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0747-7171(88)80045-2
Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Ideals and multiplicative ideal theory in commutative rings (13A15)
Related Items
Reconsidering algorithms for real parametric curves, On Gröbner bases and Krull dimension of residue class rings of polynomial rings over integral domains, Combinatorial dimension theory of algebraic varieties, The membership problem for unmixed polynomial ideals is solvable in single exponential time, La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra, Toward a theory of monomial preorders, Comprehensive Gröbner bases, Two remarks on independent sets, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, Initial simplicial complexes of prime ideals, Primary ideals and their differential equations, A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases, Gröbner deformations, connectedness and cohomological dimension, Gröbner bases applied to finitely generated field extensions, On the computation of Hilbert-Poincaré series
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Non-commutative Gröbner bases in algebras of solvable type
- Some examples for solving systems of algebraic equations by calculating Gröbner bases
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Some properties of the lattice points and their application to differential algebra*
- Admissible orders and linear forms
- Admissible term orderings used in computer algebra systems
- Primary ideal decomposition