REALITY OF CHAOS IN THE DOUBLE SCROLL CIRCUIT - A COMPUTER-ASSISTED PROOF

被引：43

作者：

MATSUMOTO, T ^{[1
]}

CHUA, LO ^{[1
]}

AYAKI, K ^{[1
]}

机构：

[1] UNIV CALIF BERKELEY,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94720

来源：

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS | 1988年 / 35卷 / 07期

关键词：

D O I：

10.1109/31.1836

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：909 / 925

页数：17

共 50 条

[31] Computer assisted proof of chaos in the Rossler equations and in the Henon map
Zgliczynski, P
NONLINEARITY, 1997, 10 (01) : 243 - 252
[32] Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
Davide Castelvecchi
Nature, 2021, 595 : 18 - 19
[33] A COMPUTER-ASSISTED PROOF OF UNIVERSALITY FOR AREA-PRESERVING MAPS
ECKMANN, JP
KOCK, H
WITTWER, P
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 47 (289) : 1 - 122
[34] A computer-assisted proof for the existence of horseshoe in a novel chaotic system
Wu, Wen-Juan
Chen, Zeng-Qiang
Yuan, Zhu-Zhi
CHAOS SOLITONS & FRACTALS, 2009, 41 (05) : 2756 - 2761
[35] A computer-assisted proof of symbolic dynamics in Hyperion's rotation
Gierzkiewicz, Anna
Zgliczynski, Piotr
CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, 2019, 131 (07):
[36] On turning waves for the inhomogeneous Muskat problem: a computer-assisted proof
Gomez-Serrano, Javier
Granero-Belinchon, Rafael
NONLINEARITY, 2014, 27 (06) : 1471 - 1498
[37] COMPUTER-ASSISTED PROOF OF A PERIODIC SOLUTION IN A NONLINEAR FEEDBACK DDE
Zalewski, Mikolaj
TOPOLOGICAL METHODS IN NONLINEAR ANALYSIS, 2009, 33 (02) : 373 - 393
[38] A computer-assisted proof of symbolic dynamics in Hyperion’s rotation
Anna Gierzkiewicz
Piotr Zgliczyński
Celestial Mechanics and Dynamical Astronomy, 2019, 131
[39] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
Watanabe, Yoshitaka
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2009, 223 (02) : 953 - 966
[40] A uniqueness result for a semilinear elliptic problem: A computer-assisted proof
McKenna, P. J.
Pacella, F.
Plum, M.
Roth, D.
JOURNAL OF DIFFERENTIAL EQUATIONS, 2009, 247 (07) : 2140 - 2162

← 1 2 3 4 5 →