The following pages link to (Q3737533):
Displaying 50 items.
- An improved algorithm for deciding semi-definite polynomials (Q404554) (← links)
- Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification (Q462854) (← links)
- Generalized transformations and abundant new families of exact solutions for (2 + 1)-dimensional dispersive long wave equations (Q597267) (← links)
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers (Q611072) (← links)
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case (Q630689) (← links)
- When does \(\langle T \rangle\) equal \(\text{sat}(T)\)? (Q651871) (← links)
- Equality-constrained minimization of polynomial functions (Q892787) (← links)
- Structural identifiability of a model for the acetic acid fermentation process (Q1000197) (← links)
- Counting positive solutions for polynomial systems with real coefficients (Q1004849) (← links)
- Real zeros of the zero-dimensional parametric piecewise algebraic variety (Q1041521) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- A cubic system with eight small-amplitude limit cycles (Q1334817) (← links)
- Deriving some new conditions on the existence of eight limit cycles for a cubic system (Q1356843) (← links)
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. (Q1416272) (← links)
- Limits of theory sequences over algebraically closed fields and applications. (Q1421482) (← links)
- New exact solutions for some nonlinear differential equations using symbolic computation. (Q1427914) (← links)
- The relation between the kink-type solution and the kink-bell-type solution of nonlinear evolution equations (Q1566200) (← links)
- On a new algorithm of constructing solitary wave solutions for systems of nonlinear evolution in mathematical physics (Q1578230) (← links)
- Weak centers and bifurcation of critical periods in reversible cubic systems (Q1591917) (← links)
- Parameter identification in dynamical models of anaerobic waste water treatment (Q1602622) (← links)
- Exact solitary wave solutions of nonlinear wave equations. (Q1609652) (← links)
- The maximum number and its distribution of singular points for parametric piecewise algebraic curves (Q1675395) (← links)
- Analytical study of solitons for the variant Boussinesq equations (Q1681747) (← links)
- Characteristic decomposition: from regular sets to normal sets (Q1730299) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- Exact solutions for the higher-order nonlinear Schrödinger equation in nonlinear optical fibres (Q1771685) (← links)
- Exact travelling wave solutions of nonlinear evolution equations in (1+1) and (2+1) dimensions (Q1780777) (← links)
- On the theories of triangular sets (Q1808664) (← links)
- Triangular sets for solving polynomial systems: a comparative implementation of four methods (Q1808665) (← links)
- Exact solutions of the classical Drinfel'd-Sokolov-Wilson equations and the relations among the solutions (Q1847715) (← links)
- New explicit solitary wave solutions for \((2+1)\)-dimensional Boussinesq equation and \((3+1)\)-dimensional KP equation (Q1854594) (← links)
- Simultaneous solution of polynomial equations. (Q1855901) (← links)
- An algorithm for isolating the real solutions of semi-algebraic systems (Q1864897) (← links)
- Generalized extended tanh-function method and its application to \((1+1)\)-dimensional dispersive long wave equation (Q1872075) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- New explicit and exact travelling wave solutions for a system of variant Boussinesq equations in mathematical physics (Q1967091) (← links)
- Solving the equality-constrained minimization problem of polynomial functions (Q2010089) (← links)
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one (Q2066949) (← links)
- Chordal graphs in triangular decomposition in top-down style (Q2200301) (← links)
- Local bifurcations of critical periods in a generalized 2D LV system (Q2391279) (← links)
- Change of order for regular chains in positive dimension (Q2476011) (← links)
- Doubly periodic solutions of the modified Kawahara equation (Q2484894) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- On the Chordality of Simple Decomposition in Top-Down Style (Q5014670) (← links)
- A strategy for speeding-up the computation of characteristic sets (Q5096863) (← links)
- Bifurcations of Critical Periods for a Class of Quintic Liénard Equation (Q5138328) (← links)
- Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition (Q5175452) (← links)
- New explicit solitary wave solutions and periodic wave solutions for Whitham-Broer-Kaup equation in shallow water (Q5937757) (← links)
