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/}
}
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/