A new method for solving algebraic systems of positive dimension
From MaRDI portal
Publication:1180160
DOI10.1016/0166-218X(91)90113-BzbMath0753.13013MaRDI QIDQ1180160
Publication date: 27 June 1992
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
algebraic systemleading coefficientGröbner baseassociated triangular setcomputing numerically the common zeros of a prime ideal
Symbolic computation and algebraic computation (68W30) Numerical computation of solutions to systems of equations (65H10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items (44)
Complexity results for triangular sets ⋮ Chordality Preserving Incremental Triangular Decomposition and Its Implementation ⋮ Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ A generalized Euclidean algorithm for geometry theorem proving ⋮ Rational general solutions of higher order algebraic ODEs ⋮ A Direttissimo Algorithm for Equidimensional Decomposition ⋮ Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ Characteristic set algorithms for equation solving in finite fields ⋮ Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case ⋮ Computing real radicals and \(S\)-radicals of polynomial systems ⋮ Rational general solutions of trivariate rational differential systems ⋮ On solving parametric polynomial systems ⋮ Parametric equation solving and quantifier elimination in finite fields with the characteristic set method ⋮ On the efficiency of solving Boolean polynomial systems with the characteristic set method ⋮ Bit-size estimates for triangular sets in positive dimension ⋮ Characteristic decomposition: from regular sets to normal sets ⋮ Relaxed Hensel lifting of triangular sets ⋮ An equivalence theorem for regular differential chains ⋮ Computing strong regular characteristic pairs with Gröbner bases ⋮ On computer-assisted classification of coupled integrable equations ⋮ A note on upper bounds for ideal-theoretic problems ⋮ An algorithm for decomposing a polynomial system into normal ascending sets ⋮ Change of order for regular chains in positive dimension ⋮ A systematic framework for solving geometric constraints analytically ⋮ Decomposition plans for geometric constraint systems. I: Performance measures for CAD ⋮ Unmixed-dimensional decomposition of a finitely generated perfect differential ideal ⋮ An alternative algorithm for computing the pseudo-remainder of multivariate polynomials ⋮ On the links between triangular sets and dynamic constructible closure ⋮ An Algorithm for Transforming Regular Chain into Normal Chain ⋮ Mode decomposition of global bifurcation diagram with Gröbner bases ⋮ Properness defects of projection and minimal discriminant variety ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ A characteristic set method for ordinary difference polynomial systems ⋮ On the theories of triangular sets ⋮ Triangular sets for solving polynomial systems: a comparative implementation of four methods ⋮ Fast arithmetic for triangular sets: from theory to practice ⋮ Examples of using dynamic constructible closure. ⋮ On the complexity of counting components of algebraic varieties ⋮ Computing differential characteristic sets by change of ordering ⋮ Computing triangular systems and regular systems ⋮ Multiplicity-preserving triangular set decomposition of two polynomials ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
Cites Work
- Unnamed Item
- Unnamed Item
- Solving zero-dimensional algebraic systems
- Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
- Complexity of a standard basis of a $D$-module
- A superexponential lower bound for Gröbner bases and Church-Rosser commutative thue systems
This page was built for publication: A new method for solving algebraic systems of positive dimension
