Gröbner bases and primary decomposition of polynomial ideals

From MaRDI portal

Publication:1117277

Jump to:navigation, search

DOI10.1016/S0747-7171(88)80040-3zbMath0667.13008OpenAlexW2031399497WikidataQ56214558 ScholiaQ56214558MaRDI QIDQ1117277

Gail Zacharias, Patrizia Gianni, Barry M. Trager

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)80040-3

zbMATH Keywords

Gröbner basis computing radicals factorially closed algorithmic principal ideal domain primary decomposition of ideals testing for primality

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Ideals and multiplicative ideal theory in commutative rings (13A15)

Related Items

Normal cones of monomial primes, Integrability conditions for complex kukles systems, Discovering the Roots: Uniform Closure Results for Algebraic Classes Under Factoring, Unnamed Item, Qualitative investigation of a gene model using computer algebra algorithms, Automorphisms mapping a point into a subvariety, Regular representations of finite-dimensional separable semisimple algebras and Gröbner bases, Computing generators of the ideal of a smooth affine algebraic variety, Implementation of prime decomposition of polynomial ideals over small finite fields, On ideal lattices, Gröbner bases and generalized hash functions, Bi-center problem for some classes of \(\mathbb{Z}_2\)-equivariant systems, Computational aspects of the coordinate ring of an algebraic variety, Local integrability and linearizability of a \((1:-1:-1)\) resonant quadratic system, Integrability Conditions for Complex Homogeneous Kukles Systems, Symmetric centers on planar cubic differential systems, A Direttissimo Algorithm for Equidimensional Decomposition, Arithmetic of Shimura varieties. Abstracts from the workshop held January 29 -- February 4, 2023, Elimination ideal and bivariate resultant over finite fields, A signature-based algorithm for computing the nondegenerate locus of a polynomial system, Nondegenerate and nilpotent centers for a cubic system of differential equations, A connectedness result in positive characteristic, Liénard Equation and Its Generalizations, An FGLM-like algorithm for computing the radical of a zero-dimensional ideal, On the computation of the Galois group of linear difference equations, Segre-driven radicality testing, Parallelization of modular algorithms, Computing real radicals and \(S\)-radicals of polynomial systems, Ansätze for scattering amplitudes from \(p\)-adic numbers and algebraic geometry, Integrability of planar nilpotent differential systems through the existence of an inverse integrating factor, CENTERS FOR THE KUKLES HOMOGENEOUS SYSTEMS WITH EVEN DEGREE, An algorithm to parametrize approximately space curves, Primary Decompositions, On the primary decomposition of some determinantal hyperedge ideal, Integrability of 3-dim polynomial systems with three invariant planes, Local integrability of a family of three-dimensional quadratic systems, Algorithm for primary submodule decomposition without producing intermediate redundant components, Topological classifications for a class of 2-dimensional quadratic mappings and an application to iterative roots, Thom isotopy theorem for nonproper maps and computation of sets of stratified generalized critical values, A geometric model of an arbitrary differentially closed field of characteristic zero, Center conditions and cyclicity for a family of cubic systems: computer algebra approach, Solving parametric polynomial systems, Qualitative studies of some biochemical models, Irreducible decomposition of polynomial ideals, Conquering inseparability: primary decomposition and multivariate factorization over algebraic function fields of positive characteristic, Computing restrictions of ideals in finitely generated \(k\)-algebras by means of Buchberger's algorithm, Duality orbits of non‐geometric fluxes, On approximate triangular decompositions in dimension zero, Isochronous solutions of a 3-dim symmetric quadratic system, PRIMALITY TEST IN ITERATED ORE EXTENSIONS, Permanental ideals of Hankel matrices, A new approach to primary decomposition, Critical points of maximal \(D = 8\) gauged supergravities, Bautin ideal of a cubic map, PROPERTIES OF COMMUTATIVE ASSOCIATION SCHEMES DERIVED BY FGLM TECHNIQUES, Computing the radical of an ideal in positive characteristic, A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals, The Algorithmic Theory of Finitely Generated Metabelian Groups, Primary decomposition of zero-dimensional ideals over finite fields, Mode decomposition of global bifurcation diagram with Gröbner bases, The center and cyclicity problems for quartic linear-like reversible systems, An algorithmic approach to Schmüdgen's Positivstellensatz, Hopf bifurcations in a predator-prey model with an omnivore, On computing absolutely irreducible components of algebraic varieties with parameters, Decomposition of polynomial sets into characteristic pairs, Reduction Mod p of Standard Bases, Multidimensional linear complexity analysis of periodic arrays, Centers and Limit Cycles of a Generalized Cubic Riccati System, $3$-Manifold Groups are Virtually Residually $p$, Ideal membership in polynomial rings over the integers, An algorithm for computing Grothendieck local residues. I: Shape basis case, A primer on ideal theoretical operation in non-commutative polynomial rings, CENTER PROBLEM FOR THIRD-ORDER ODEs, Centers for the Kukles homogeneous systems with odd degree, Dynamical analysis of a two prey-one predator system with quadratic self interaction, Reversibility in polynomial systems of ODE's, Hrushovski's algorithm for computing the Galois group of a linear differential equation, Efficient localization at a prime ideal without producing unnecessary primary components, Isochronicity and linearizability of planar polynomial Hamiltonian systems, Identifying weak foci and centers in the Maxwell-Bloch system, Bifurcation of critical periods of polynomial systems, Nondegenerate centers for Abel polynomial differential equations of second kind, Algorithms to compute the topology of orientable real algebraic surfaces, Centers for a class of generalized quintic polynomial differential systems, Computing the canonical representation of constructible sets, Conditions for polynomial Liénard centers, Uniqueness of limit cycles for quadratic vector fields, The tangent cone algorithm and homogenization, Nondegenerate centers and limit cycles of cubic Kolmogorov systems, Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety, Reconsidering algorithms for real parametric curves, Weak centers and local bifurcations of critical periods at infinity for a class of rational systems, Isochronicity of a \(\mathbb{Z}_2\)-equivariant quintic system, Reduction of everywhere convergent power series with respect to Gröbner bases, Binomial ideals, Gröbner bases for polynomial systems with parameters, Border bases and kernels of homomorphisms and of derivations, Rational general solutions of systems of first-order algebraic partial differential equations, Detecting degenerate behaviors in first order algebraic differential equations, Integrability of complex planar systems with homogeneous nonlinearities, The center problem for a \({1:-4}\) resonant quadratic system, The minimal components of the Mayr-Meyer ideals., The decision of prime and primary ideal, The center problem for a \(2:-3\) resonant cubic Lotka-Volterra system, Center problem in the center manifold for quadratic and cubic differential systems in \(\mathbb{R}^3\), Bifurcation of local critical periods in the generalized Loud's system, Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases, Integrability conditions for Lotka-Volterra planar complex quartic systems having homogeneous nonlinearities, Discussion on polynomials having polynomial iterative roots, Isochronicity and normal forms of polynomial systems of ODEs, Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases, On radical zero-dimensional ideals, Center conditions for polynomial Liénard systems, One class of planar rational involutions, An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry, An approach to solving systems of polynomials via modular arithmetics with applications, On the computation of matrices of traces and radicals of ideals, An algorithm for primary decomposition in polynomial rings over the integers, Charting the landscape of \( \mathcal{N} = 4 \) flux compactifications, Characteristic decomposition: from regular sets to normal sets, Centers and isochronous centers for generalized quintic systems, La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra, Computing Galois groups of completely reducible differential equations, Jacobian ideals of trilinear forms: An application of 1-genericity, Center problem in the center manifold for quadratic differential systems in \(\mathbb{R}^3\), A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals, A note on upper bounds for ideal-theoretic problems, On systems of algebraic equations with parametric exponents. II, Conjugation of rational functions to power functions and applications to iteration, Center conditions for generalized polynomial Kukles systems, Isochronicity and linearizability of a planar cubic system, An algorithm for solving parametric linear systems, A hybrid symbolic-numerical approach to the center-focus problem, Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases, Solutions of systems of algebraic equations and linear maps on residue class rings, Derivations and radicals of polynomial ideals over fields of arbitrary characteristic, Direct methods for primary decomposition, Implicitization of rational parametric equations, On lucky ideals for Gröbner basis computations, Gröbner bases and primary decomposition of modules, Deterministic normal position transformation and its applications, Estimating the number of limit cycles in polynomial systems, Linearizability conditions for Lotka-Volterra planar complex quartic systems having homogeneous nonlinearities, Integrability conditions for Lotka-Volterra planar complex quintic systems, Investigation of center manifolds of three-dimensional systems using computer algebra, Algorithms for computing a primary ideal decomposition without producing intermediate redundant components, On the Jacobian conjecture: A new approach via Gröbner bases, Point-curve incidences in the complex plane, Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections, Vacuum varieties, holomorphic bundles and complex structure stabilization in heterotic theories, Varieties of local integrability of analytic differential systems and their applications, Standard bases, critical tropisms and flatness, On the Bézout construction of the resultant, Parametrization of the orbits of cubic surfaces, Noetherian operators and primary decomposition, Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one, Semidefinite characterization and computation of zero-dimensional real radical ideals, Calculation of first integrals of a two-dimensional ODE system near a degenerate stationary point by computer algebra tools, Radical computations of zero-dimensional ideals and real root counting., Evaluation techniques for zero-dimensional primary decomposition, On the complexity of counting components of algebraic varieties, A simple introduction to Gröbner basis methods in string phenomenology, Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms, Applications of some properties of the canonical module in computational projective algebraic geometry, A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type, Singularity analysis of planar linkages, Trajectories of polynomial vector fields and ascending chains of polynomial ideals, An algorithm for computing Grothendieck local residues. II: General case, Intersections of sequences of ideals generated by polynomials, Explicit polynomial bounds on prime ideals in polynomial rings over fields, Isochronicity of bi-centers for symmetric quartic differential systems, Computer algebra and algebraic geometry -- achievements and perspectives, Cellular binomial ideals. Primary decomposition of binomial ideals, Gröbner bases applied to finitely generated field extensions, Effective algorithm for computing Noetherian operators of zero-dimensional ideals, On Gröbner bases under specialization, On decomposing systems of polynomial equations with finitely many solutions, The calculation of radical ideals in positive characteristic, Computing the primary decomposition of zero-dimensional ideals, Key problems in the extension of module-behaviour duality, Constructions in \(R[x_1,\dots ,x_n\): applications to K-theory], On the minimal number of trajectories determining a multidimensional system

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1117277&oldid=13162383"