scientific article; zbMATH DE number 3970886
From MaRDI portal
Publication:3737533
Recommendations
Cited in
(55)- Counting positive solutions for polynomial systems with real coefficients
- Structural identifiability of a model for the acetic acid fermentation process
- A generalized Euclidean algorithm for geometry theorem proving
- Characteristic decomposition: from regular sets to normal sets
- Doubly periodic solutions of the modified Kawahara equation
- Change of order for regular chains in positive dimension
- New exact solutions for some nonlinear differential equations using symbolic computation.
- Chordal graphs in triangular decomposition in top-down style
- A strategy for speeding-up the computation of characteristic sets
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
- Algorithms for computing triangular decomposition of polynomial systems
- New explicit solitary wave solutions for \((2+1)\)-dimensional Boussinesq equation and \((3+1)\)-dimensional KP equation
- Computing switching surfaces in optimal control based on triangular decomposition
- Ritt-Wu's decomposition algorithm and geometry theorem proving
- An improved algorithm for deciding semi-definite polynomials
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case
- Bifurcations of critical periods for a class of quintic Liénard equation
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
- An algorithm for isolating the real solutions of semi-algebraic systems
- Limits of theory sequences over algebraically closed fields and applications.
- Deriving some new conditions on the existence of eight limit cycles for a cubic system
- Simultaneous solution of polynomial equations.
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
- Exact solitary wave solutions of nonlinear wave equations.
- The relation between the kink-type solution and the kink-bell-type solution of nonlinear evolution equations
- Analytical study of solitons for the variant Boussinesq equations
- A cubic system with eight small-amplitude limit cycles
- Exact solutions for the higher-order nonlinear Schrödinger equation in nonlinear optical fibres
- Weak centers and bifurcation of critical periods in reversible cubic systems
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- Equality-constrained minimization of polynomial functions
- Real zeros of the zero-dimensional parametric piecewise algebraic variety
- The maximum number and its distribution of singular points for parametric piecewise algebraic curves
- Local bifurcations of critical periods in a generalized 2D LV system
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
- On a new algorithm of constructing solitary wave solutions for systems of nonlinear evolution in mathematical physics
- New explicit and exact travelling wave solutions for a system of variant Boussinesq equations in mathematical physics
- Exact solutions of the classical Drinfel'd-Sokolov-Wilson equations and the relations among the solutions
- On the Chordality of Simple Decomposition in Top-Down Style
- Exact travelling wave solutions of nonlinear evolution equations in (1+1) and (2+1) dimensions
- Decomposition of polynomial sets into characteristic pairs
- New explicit solitary wave solutions and periodic wave solutions for Whitham-Broer-Kaup equation in shallow water
- Solving the equality-constrained minimization problem of polynomial functions
- A refutational approach to geometry theorem proving
- Global optimization of polynomials over real algebraic sets
- Generalized transformations and abundant new families of exact solutions for (2 + 1)-dimensional dispersive long wave equations
- On the theories of triangular sets
- When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
- Generalized extended tanh-function method and its application to \((1+1)\)-dimensional dispersive long wave equation
- Parameter identification in dynamical models of anaerobic waste water treatment
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
- Squarefree normal representation of zeros of zero-dimensional polynomial systems
- Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros
- Chinese Remainder Theorem for bivariate lexicographic Gröbner bases
- Comprehensive characteristic decomposition of parametric polynomial systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3737533)
