共 50 条
- [21] A computer-assisted proof for photonic band gaps Zeitschrift für angewandte Mathematik und Physik, 2009, 60
- [22] A Computer-Assisted Verification of Chaos in a Hopfield Neural Network 2008 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLS 1 AND 2: VOL 1: COMMUNICATION THEORY AND SYSTEM, 2008, : 1093 - 1096
- [24] Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rossler System: A Computer-Assisted Proof SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, 2016, 15 (01): : 356 - 390
- [25] Computer-Assisted Language Learning: From Vision to Reality? CALICO JOURNAL, 2008, 25 (03): : 443 - 470
- [26] Mobile augmented reality for computer-assisted percutaneous nephrolithotomy International Journal of Computer Assisted Radiology and Surgery, 2013, 8 : 663 - 675
- [28] COMPUTER-ASSISTED DECISION SUPPORT - A NEW AVAILABLE REALITY JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1987, 258 (01): : 86 - 86
- [30] A computer-assisted verification of hyperchaos in the Saito hysteresis chaos generator JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2006, 39 (29): : 9139 - 9150