Pages that link to "Item:Q1390653"
From MaRDI portal
The following pages link to Algorithms for the construction of phase portraits of nonlinear dynamic systems (Q1390653):
Displaying 3 items.
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← links)
- Phase Shadows: An Enhanced Representation of Nonlinear Dynamic Systems (Q3132927) (← links)
- COMPUTER-GENERATED PROOFS OF PHASE PORTRAITS FOR PLANAR SYSTEMS (Q4346653) (← links)