A general framework for Noetherian well ordered polynomial reductions
From MaRDI portal
Publication:2000264
DOI10.1016/j.jsc.2019.02.002zbMath1430.13043arXiv1511.03234OpenAlexW2963099234MaRDI QIDQ2000264
Michela Ceria, Margherita Roggero, Ferdinando Mora
Publication date: 28 June 2019
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1511.03234
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Parametrization (Chow and Hilbert schemes) (14C05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)
Related Items
The close relation between border and Pommaret marked bases ⋮ Standard bases over Euclidean domains ⋮ Combinatorial decompositions for monomial ideals
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the functoriality of marked families
- Term-ordering free involutive bases
- Double-generic initial ideal and Hilbert scheme
- Segments and Hilbert schemes of points
- Rational components of Hilbert schemes
- Gröbner bases of modules over reduction rings
- Non-commutative Gröbner bases in algebras of solvable type
- On the Noetherianity of some associative finitely presented algebras
- The reduction ring property is hereditary
- The scheme of liftings and applications
- Quasi-stable ideals and Borel-fixed ideals with a given Hilbert polynomial
- On the construction of Gröbner bases using syzygies
- Involution. The formal theory of differential equations and its applications in computer algebra
- A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases
- A generalization of reduction rings
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
- On the D-bases of polynomial ideals over principal ideal domains
- On an installation of Buchberger's algorithm
- Skew polynomial rings with binomial relations
- La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra
- The diamond lemma for ring theory
- Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes
- The theory of involutive divisions and an application to Hilbert function computations
- A note on polynomial reduction
- An algorithm for constructing Gröbner and free Schreier bases in free group algebras
- Involutive bases of polynomial ideals
- Minimal involutive bases
- Upgraded methods for the effective computation of marked schemes on a strongly stable ideal
- A Borel open cover of the Hilbert scheme
- Bar code for monomial ideals
- Buchberger-Zacharias theory of multivariate Ore extensions
- Flat families by strongly stable ideals and a generalization of Gröbner bases
- Computing quot schemes via marked bases over quasi-stable modules
- Gröbner bases of ideals defined by functionals with an application to ideals of projective points
- Functors of liftings of projective schemes
- Bezoutian and quotient ring structure
- Gröbner bases in function rings -- a guide for introducing reduction relations to algebraic structures
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
- Buchberger-Weispfenning theory for effective associative rings
- Extensors and the Hilbert scheme
- De Nugis Groebnerialium 4
- Borel degenerations of arithmetically Cohen–Macaulay curves in ℙ3
- Involutive Division Generated by an Antigraded Monomial Ordering
- Solving Polynomial Equation Systems
- Automated Reasoning in Reduction Rings Using the Theorema System
- Proving termination with multiset orderings
- Noetherian Properties of Skew Polynomial Rings with Binomial Relations
- What can be computed in algebraic geometry?
- Smoothable Gorenstein Points Via Marked Schemes and Double-generic Initial Ideals
- Gröbner bases and generalized sylvester matrices
- Computation and simplification in lie fields
- Computer Algebra in Scientific Computing
- Computer Algebra in Scientific Computing
- The Locus of Points of the Hilbert Scheme with Bounded Regularity
- Macaulay-like marked bases