A complete discrimination system for polynomials
From MaRDI portal
Publication:674718
zbMATH Open0866.68104MaRDI QIDQ674718FDOQ674718
Authors: Lu Yang, Xiaorong Hou, Zhenbing Zeng 
Publication date: 6 March 1997
Published in: Science in China. Series E (Search for Journal in Brave)
Recommendations
algorithmpolynomialautomated theorem provingdiscriminant sequencecomplete discrimination systemcomputer implementationsrevised sign listroot-classification
Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)
Cited In (72)
- Poynting vector, super-Poynting vector, and principal observers in electromagnetism and general relativity
- Two inequalities about the pedal triangle
- An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial
- Classification of quaternionic hyperbolic isometries
- Qualitative and quantitative analysis of nonlinear dynamics by the complete discrimination system for polynomial method
- Recent advances in automated theorem proving on inequalities
- Classification of direct kinematics to planar generalized Stewart platforms
- A complete determination of Rabinowitsch polynomials
- The exact solutions of the conformable time fractional version of the generalized Pochhammer-Chree equation
- Wronskian-based tests for stability of polynomial combinations
- Peakon, rational function and periodic solutions for Tzitzeica-Dodd-Bullough type equations
- Bifurcation analysis and optical solitons for the concatenation model
- New exact solutions to the high dispersive cubic-quintic nonlinear Schrödinger equation
- Solution formulas for cubic equations without or with constraints
- Classification of the real roots of the quartic equation and their Pythagorean tunes
- Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems
- A new approach based on the discriminant system of polynomial for robust stability and stabilization of two-dimensional systems
- Automatic computation of the complete root classification for a parametric polynomial
- Applications of complete discrimination system for polynomial for classifications of traveling wave solutions to nonlinear differential equations
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- Dynamics of a two-dimensional competitive system of rational difference equations with quadratic terms
- On the number of hyperelliptic limit cycles of Liénard systems
- Piecewise algebraic curve
- Counting positive solutions for polynomial systems with real coefficients
- The order structure of forts iterated by quadratic polynomials
- New solitons and conditional stability to the high dispersive nonlinear Schrödinger equation with parabolic law nonlinearity
- An analytical proof of a certain geometric inequality conjecture of shan-he Wu
- A new result on the \(p\)-irreducibility of binding polynomials
- A new refinement of the Janous-Gmeiner inequality for a triangle
- Algorithms to compute the topology of orientable real algebraic surfaces
- Uniqueness of equilibrium in the haber synthesis of ammonia
- Complete characterization of strictly positive real regions and robust strictly positive real synthesis method
- Computation of Green's functions through algebraic decomposition of operators
- The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations
- Basins of attraction for two-species competitive model with quadratic terms and the singular Allee effect
- Quantifier elimination for a class of exponential polynomial formulas
- Basins of attraction of period-two solutions of monotone difference equations
- Another refinement of the Pólya-Szegő inequality
- Two species competitive model with the Allee effect
- Number of forts in iterated logistic mapping
- Forts of quadratic polynomials under iteration
- Recent advances in program verification through computer algebra
- A note on Schmidt's conjecture
- Real polynomial iterative roots in the case of nonmonotonicity height \(\geqslant 2\)
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Symbolic decision procedure for termination of linear programs
- Geometric information and rational parametrization of nonsingular cubic blending surfaces
- A recursive algorithm for constructing generalized Sturm sequence
- A complete discrimination system for polynomials with complex coefficients and its automatic generation
- Bifurcation analysis and single traveling wave solutions of the variable-coefficient Davey-Stewartson system
- New exact solutions for a generalized KdV equation
- Boundedness of solutions and stability of certain second-order difference equation with quadratic term
- On polynomial selection for the general number field sieve
- Bifurcation analysis and multiple solitons in birefringent fibers with coupled Schrödinger-Hirota equation
- Nonstandard decision methods for the solvability of real polynomial equations
- Recent advances on determining the number of real roots of parametric polynomials
- Parameterized inequalities about a point in the plane of a triangle
- Dynamics of a two-dimensional cooperative system of polynomial difference equationswith cubic terms
- Exact traveling wave solutions for the \((2+1)\)-dimensional double sine-Gordon equation using direct integral method
- A condition for multiplicity structure of univariate polynomials
- A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms
- Parametric ``non-nested discriminants for multiplicities of univariate polynomials
- Ruin probability for finite Erlang mixture claims via recurrence sequences
- Complexity in iteration of polynomials
- Discrimination of the 3-periodic points of a quadratic polynomial
- On the coefficients of the polynomial in the number field sieve
- Global Dynamics of a Cooperative Discrete System in the Plane
- A discrimination sequence for translational polynomials
- Bifurcation analysis and optical soliton perturbation with Radhakrishnan-Kundu-Lakshmanan equation
- Arithmeticity of the Kontsevich-Zorich monodromies of certain families of square-tiled surfaces. II
- Bifurcation analysis and soliton solutions to the Kuralay equation via dynamic system analysis method and complete discrimination system method
- Structure of discriminant set of real polynomial
This page was built for publication: A complete discrimination system for polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674718)
