Pages that link to "Item:Q4346653"
From MaRDI portal
The following pages link to COMPUTER-GENERATED PROOFS OF PHASE PORTRAITS FOR PLANAR SYSTEMS (Q4346653):
Displaying 9 items.
- On a computer-aided approach to the computation of Abelian integrals (Q639965) (← links)
- Algorithms for the construction of phase portraits of nonlinear dynamic systems (Q1390653) (← links)
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← links)
- An augmented phase plane approach for discrete planar maps: introducing next-iterate operators (Q2681845) (← links)
- Computer Generated Images for Quadratic Rational Maps with a Periodic Critical Point (Q3106133) (← links)
- A geometric approach to total envisioning (Q4013842) (← links)
- A Quartic System with Twenty-Six Limit Cycles (Q4915395) (← links)
- A Codimension-Four Singularity with Potential for Action (Q5270276) (← links)
- A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five (Q5321913) (← links)
