A complete discrimination system for polynomials

Zhenbing Zeng, Xiaorong Hou, Lu Yang

Publication date: 6 March 1997

Published in: Science in China. Series E (Search for Journal in Brave)

algorithm polynomial automated theorem proving discriminant sequence complete discrimination system computer implementations revised sign list root-classification

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Related Items

Two inequalities about the pedal triangle, Algorithms to compute the topology of orientable real algebraic surfaces, Peakon, rational function and periodic solutions for Tzitzeica-Dodd-Bullough type equations, On the coefficients of the polynomial in the number field sieve, New exact solutions to the high dispersive cubic-quintic nonlinear Schrödinger equation, Automatic computation of the complete root classification for a parametric polynomial, Global Dynamics of a Cooperative Discrete System in the Plane, The order structure of forts iterated by quadratic polynomials, Boundedness of solutions and stability of certain second-order difference equation with quadratic term, Computation of Green's functions through algebraic decomposition of operators, Ruin probability for finite Erlang mixture claims via recurrence sequences, Recent advances in program verification through computer algebra, A complete algorithm for automated discovering of a class of inequality-type theorems, A new approach based on the discriminant system of polynomial for robust stability and stabilization of two-dimensional systems, Number of forts in iterated logistic mapping, Forts of quadratic polynomials under iteration, Another refinement of the Pólya-Szegő inequality, Applications of complete discrimination system for polynomial for classifications of traveling wave solutions to nonlinear differential equations, The exact solutions of the conformable time fractional version of the generalized Pochhammer-Chree equation, Real polynomial iterative roots in the case of nonmonotonicity height \(\geqslant 2\), Exact traveling wave solutions for the \((2+1)\)-dimensional double sine-Gordon equation using direct integral method, Wronskian-based tests for stability of polynomial combinations, Bifurcation analysis and optical solitons for the concatenation model, Bifurcation analysis and soliton solutions to the Kuralay equation via dynamic system analysis method and complete discrimination system method, New solitons and conditional stability to the high dispersive nonlinear Schrödinger equation with parabolic law nonlinearity, A NOTE ON SCHMIDT’S CONJECTURE, Geometric information and rational parametrization of nonsingular cubic blending surfaces, Classification of direct kinematics to planar generalized Stewart platforms, Parameterized inequalities about a point in the plane of a triangle, An analytical proof of a certain geometric inequality conjecture of shan-he Wu, Uniqueness of equilibrium in the haber synthesis of ammonia, Basins of attraction for two-species competitive model with quadratic terms and the singular Allee effect, Recent advances in automated theorem proving on inequalities, A new refinement of the Janous-Gmeiner inequality for a triangle, Quantifier elimination for a class of exponential polynomial formulas, Nonstandard decision methods for the solvability of real polynomial equations, A condition for multiplicity structure of univariate polynomials, Unnamed Item, Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems, Dynamics of a two-dimensional competitive system of rational difference equations with quadratic terms, Two species competitive model with the allee effect, Poynting vector, super-Poynting vector, and principal observers in electromagnetism and general relativity, Automatic generation of bounds for polynomial systems with application to the Lorenz system, Symbolic decision procedure for termination of linear programs, Solution formulas for cubic equations without or with constraints, A new result on the \(p\)-irreducibility of binding polynomials, Complexity in iteration of polynomials, A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms, Basins of attraction of period-two solutions of monotone difference equations, New exact solutions for a generalized KdV equation, Counting positive solutions for polynomial systems with real coefficients, The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations, Recent advances on determining the number of real roots of parametric polynomials, On the number of hyperelliptic limit cycles of Liénard systems, Bifurcation analysis and single traveling wave solutions of the variable-coefficient Davey-Stewartson system, Classification of quaternionic hyperbolic isometries, On polynomial selection for the general number field sieve, A recursive algorithm for constructing generalized Sturm sequence, Complete characterization of strictly positive real regions and robust strictly positive real synthesis method, A complete discrimination system for polynomials with complex coefficients and its automatic generation, Bifurcation analysis and multiple solitons in birefringent fibers with coupled Schrödinger-Hirota equation, Classification of the real roots of the quartic equation and their Pythagorean tunes, Piecewise algebraic curve