共 17 条
[1]
Adams E., 1993, Scientific computing with automatic result verification, P423
[3]
Coomes B., 1996, 6 LECT DYNAMICAL SYS, P163
[5]
CURRY JH, 1979, LECT NOTES MATH, V819, P111
[9]
GHRIST RW, 1996, ODE WHOSE SOLUTIONS
[10]
Guckenheimer John, 1979, Inst. Hautes Etudes Sci. Publ. Math., V50, P59, DOI [10.1007/BF02684769, DOI 10.1007/BF02684769]