scientific article; zbMATH DE number 622670
From MaRDI portal
Publication:4303118
zbMath0808.68069MaRDI QIDQ4303118
Publication date: 5 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (19)
Automatic constructibility checking of a corpus of geometric construction problems ⋮ On the number of zeros of abelian integral for some Liénard system of type \((4,3)\) ⋮ 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 ⋮ Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case ⋮ Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification ⋮ Recent advances in automated theorem proving on inequalities ⋮ An equivalence theorem for regular differential chains ⋮ An algorithm for decomposing a polynomial system into normal ascending sets ⋮ Bounding the number of limit cycles for a polynomial Liénard system by using regular chains ⋮ Change of order for regular chains in positive dimension ⋮ Properties of regular systems and algorithmic improvements for regular decomposition ⋮ A short contribution to the theory of regular chains ⋮ On the theories of triangular sets ⋮ Triangular sets for solving polynomial systems: a comparative implementation of four methods ⋮ Computing triangular systems and regular systems ⋮ Multiplicity-preserving triangular set decomposition of two polynomials ⋮ On the Chordality of Simple Decomposition in Top-Down Style ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
This page was built for publication:
