Phase portraits of planar vector fields: Computer proofs.
Experimental mathematics, Tome 4 (1995) no. 2, pp. 153-165.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Keywords: computer verification, global structure of structurally stable planar vector fields, Hopf bifurcation, 1:4 resonance
@article{EXMA_1995__4_2_226090,
     author = {Guckenheimer, John},
     title = {Phase portraits of planar vector fields: {Computer} proofs.},
     journal = {Experimental mathematics},
     pages = {153--165},
     publisher = {mathdoc},
     volume = {4},
     number = {2},
     year = {1995},
     zbl = {0856.34045},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/EXMA_1995__4_2_226090/}
}
TY  - JOUR
AU  - Guckenheimer, John
TI  - Phase portraits of planar vector fields: Computer proofs.
JO  - Experimental mathematics
PY  - 1995
SP  - 153
EP  - 165
VL  - 4
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/EXMA_1995__4_2_226090/
LA  - en
ID  - EXMA_1995__4_2_226090
ER  - 
%0 Journal Article
%A Guckenheimer, John
%T Phase portraits of planar vector fields: Computer proofs.
%J Experimental mathematics
%D 1995
%P 153-165
%V 4
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/EXMA_1995__4_2_226090/
%G en
%F EXMA_1995__4_2_226090
Guckenheimer, John. Phase portraits of planar vector fields: Computer proofs.. Experimental mathematics, Tome 4 (1995) no. 2, pp. 153-165. http://geodesic.mathdoc.fr/item/EXMA_1995__4_2_226090/