Pages that link to "Item:Q1582300"

The following pages link to Deciding Hopf bifurcations by quantifier elimination in a software-component architecture (Q1582300):

Displaying 16 items.

• Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
• Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
• Algorithmic global criteria for excluding oscillations (Q542032) (← links)
• Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
• Better answers to real questions (Q898260) (← links)
• Subresultants and locally nilpotent derivations. (Q1428626) (← links)
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
• On the existence of Hopf bifurcations in the sequential and distributive double phosphorylation cycle (Q2045703) (← links)
• Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition (Q2061992) (← links)
• Symbolic computation for the qualitative theory of differential equations (Q2080988) (← links)
• Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
• Birational properties of the gap subresultant varieties (Q2456534) (← links)
• Algorithmic methods for investigating equilibria in epidemic modeling (Q2457392) (← links)
• Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates (Q2914990) (← links)
• Hopf Bifurcations of Reaction Networks with Zero-One Stoichiometric Coefficients (Q6076409) (← links)
• Hopf bifurcations on invariant manifolds of a modified FitzHugh-Nagumo model (Q6174357) (← links)