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