Pages that link to "Item:Q674718"

The following pages link to A complete discrimination system for polynomials (Q674718):

Displaying 50 items.

• Computation of Green's functions through algebraic decomposition of operators (Q330214) (← links)
• Recent advances in program verification through computer algebra (Q351971) (← links)
• Wronskian-based tests for stability of polynomial combinations (Q411680) (← links)
• Classification of direct kinematics to planar generalized Stewart platforms (Q448982) (← links)
• An analytical proof of a certain geometric inequality conjecture of shan-he Wu (Q452926) (← links)
• Uniqueness of equilibrium in the haber synthesis of ammonia (Q460874) (← links)
• Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
• Symbolic decision procedure for termination of linear programs (Q539162) (← links)
• Solution formulas for cubic equations without or with constraints (Q548598) (← links)
• Another refinement of the Pólya-Szegő inequality (Q611364) (← links)
• Applications of complete discrimination system for polynomial for classifications of traveling wave solutions to nonlinear differential equations (Q615053) (← links)
• Geometric information and rational parametrization of nonsingular cubic blending surfaces (Q642753) (← links)
• A new refinement of the Janous-Gmeiner inequality for a triangle (Q660885) (← links)
• Two inequalities about the pedal triangle (Q824506) (← links)
• Automatic computation of the complete root classification for a parametric polynomial (Q840716) (← links)
• A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930) (← links)
• Counting positive solutions for polynomial systems with real coefficients (Q1004849) (← links)
• A complete discrimination system for polynomials with complex coefficients and its automatic generation (Q1303099) (← links)
• Piecewise algebraic curve (Q1612372) (← links)
• New exact solutions to the high dispersive cubic-quintic nonlinear Schrödinger equation (Q1632576) (← links)
• Number of forts in iterated logistic mapping (Q1677691) (← links)
• Forts of quadratic polynomials under iteration (Q1678106) (← links)
• Basins of attraction for two-species competitive model with quadratic terms and the singular Allee effect (Q1723545) (← links)
• Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
• A new result on the \(p\)-irreducibility of binding polynomials (Q1770695) (← links)
• Basins of attraction of period-two solutions of monotone difference equations (Q1796730) (← links)
• New exact solutions for a generalized KdV equation (Q1798156) (← links)
• Recent advances on determining the number of real roots of parametric polynomials (Q1808669) (← links)
• A recursive algorithm for constructing generalized Sturm sequence (Q1841471) (← links)
• Complete characterization of strictly positive real regions and robust strictly positive real synthesis method (Q1841477) (← links)
• Algorithms to compute the topology of orientable real algebraic surfaces (Q1878477) (← links)
• Real polynomial iterative roots in the case of nonmonotonicity height \(\geqslant 2\) (Q1934386) (← links)
• Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
• Nonstandard decision methods for the solvability of real polynomial equations (Q1974173) (← links)
• Dynamics of a two-dimensional competitive system of rational difference equations with quadratic terms (Q1994654) (← links)
• Two species competitive model with the allee effect (Q1994656) (← links)
• The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations (Q2048154) (← links)
• Bifurcation analysis and single traveling wave solutions of the variable-coefficient Davey-Stewartson system (Q2073590) (← links)
• Bifurcation analysis and multiple solitons in birefringent fibers with coupled Schrödinger-Hirota equation (Q2112971) (← links)
• Classification of the real roots of the quartic equation and their Pythagorean tunes (Q2114437) (← links)
• Peakon, rational function and periodic solutions for Tzitzeica-Dodd-Bullough type equations (Q2128185) (← links)
• The order structure of forts iterated by quadratic polynomials (Q2142574) (← links)
• Boundedness of solutions and stability of certain second-order difference equation with quadratic term (Q2144021) (← links)
• Ruin probability for finite Erlang mixture claims via recurrence sequences (Q2157431) (← links)
• A condition for multiplicity structure of univariate polynomials (Q2229732) (← links)
• Complexity in iteration of polynomials (Q2273627) (← links)
• On the number of hyperelliptic limit cycles of Liénard systems (Q2301853) (← links)
• Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems (Q2474455) (← links)
• A new approach based on the discriminant system of polynomial for robust stability and stabilization of two-dimensional systems (Q2656863) (← links)
• A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (Q2799565) (← links)