The following pages link to (Q4011803):
Displaying 11 items.
- Symbolic computation and the cyclicity problem for singularities (Q432740) (← links)
- REDUCE and the bifurcation of limit cycles (Q915468) (← links)
- Computer algebra and bifurcations (Q1418826) (← links)
- Undecidable Hopf bifurcation with undecidable fixed point (Q1893895) (← links)
- Computer algebra methods for equivariant dynamical systems (Q1977444) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← links)
- Computational algebra for bifurcation theory (Q2456596) (← links)
- Computer assisted proofs in dynamical systems (Q2684072) (← links)
- (Q3220906) (← links)
- Mode decomposition of global bifurcation diagram with Gröbner bases (Q5952610) (← links)
