Pages that link to "Item:Q1582300"

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

Displaying 7 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)