scientific article

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

algorithm decomposition of algebraic sets Ritt principle

Software, source code, etc. for problems pertaining to commutative algebra (13-04) Polynomials in general fields (irreducibility, etc.) (12E05) Relevant commutative algebra (14A05)

Related Items

Generalized extended tanh-function method and its application to \((1+1)\)-dimensional dispersive long wave equation, A cubic system with eight small-amplitude limit cycles, Deriving some new conditions on the existence of eight limit cycles for a cubic system, Local bifurcations of critical periods in a generalized 2D LV system, Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle, Generalized transformations and abundant new families of exact solutions for (2 + 1)-dimensional dispersive long wave equations, A refutational approach to geometry theorem proving, The maximum number and its distribution of singular points for parametric piecewise algebraic curves, A generalized Euclidean algorithm for geometry theorem proving, A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers, Analytical study of solitons for the variant Boussinesq equations, A strategy for speeding-up the computation of characteristic sets, Chinese Remainder Theorem for bivariate lexicographic Gröbner bases, Equality-constrained minimization of polynomial functions, An improved algorithm for deciding semi-definite polynomials, 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, Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case, Squarefree normal representation of zeros of zero-dimensional polynomial systems, Chordal graphs in triangular decomposition in top-down style, A complete algorithm for counting real solutions of polynomial systems of equations and inequalities., Limits of theory sequences over algebraically closed fields and applications., When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?, Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification, New exact solutions for some nonlinear differential equations using symbolic computation., New explicit and exact travelling wave solutions for a system of variant Boussinesq equations in mathematical physics, Bifurcations of Critical Periods for a Class of Quintic Liénard Equation, Characteristic decomposition: from regular sets to normal sets, Global optimization of polynomials over real algebraic sets, Change of order for regular chains in positive dimension, Doubly periodic solutions of the modified Kawahara equation, Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition, Solving the equality-constrained minimization problem of polynomial functions, New explicit solitary wave solutions and periodic wave solutions for Whitham-Broer-Kaup equation in shallow water, Exact solutions for the higher-order nonlinear Schrödinger equation in nonlinear optical fibres, Exact travelling wave solutions of nonlinear evolution equations in (1+1) and (2+1) dimensions, Structural identifiability of a model for the acetic acid fermentation process, Counting positive solutions for polynomial systems with real coefficients, Decomposition of polynomial sets into characteristic pairs, On the theories of triangular sets, Triangular sets for solving polynomial systems: a comparative implementation of four methods, Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one, The relation between the kink-type solution and the kink-bell-type solution of nonlinear evolution equations, Real zeros of the zero-dimensional parametric piecewise algebraic variety, On a new algorithm of constructing solitary wave solutions for systems of nonlinear evolution in mathematical physics, Exact solutions of the classical Drinfel'd-Sokolov-Wilson equations and the relations among the solutions, Weak centers and bifurcation of critical periods in reversible cubic systems, New explicit solitary wave solutions for \((2+1)\)-dimensional Boussinesq equation and \((3+1)\)-dimensional KP equation, On the Chordality of Simple Decomposition in Top-Down Style, Simultaneous solution of polynomial equations., Parameter identification in dynamical models of anaerobic waste water treatment, An algorithm for isolating the real solutions of semi-algebraic systems, Exact solitary wave solutions of nonlinear wave equations.