共 50 条
- [11] COMPUTER-ASSISTED PROOF OF SHEAR-INDUCED CHAOS IN STOCHASTICALLY PERTURBED HOPF SYSTEMS ANNALS OF APPLIED PROBABILITY, 2023, 33 (02): : 1052 - 1094
- [14] Computer assisted proof of chaos in the Lorenz equations PHYSICA D, 1998, 115 (3-4): : 165 - 188
- [15] Computer assisted proof of chaos in the Lorenz equations Physica D: Nonlinear Phenomena, 1998, 115 (3-4): : 165 - 188
- [16] A Computer-Assisted Proof of the Uniqueness of the Perkel Graph Designs, Codes and Cryptography, 2005, 34 : 155 - 171
- [19] A computer-assisted proof for photonic band gaps ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND PHYSIK, 2009, 60 (06): : 1035 - 1052