Computer-assisted proof for two dimensional non-invertible dynamical systems
碩士 === 國立嘉義大學 === 應用數學系研究所 === 95 === In this paper, we present a computer-assisted technique which allows us to prove the existence of a snapback repeller for two-dimensional non-invertible dynamical systems rigorously. Firstly, we construct a finite pseudo-orbit (or a numerical orbit), which sat...
Main Authors: | Sheng-wen Su, 蘇聖文 |
---|---|
Other Authors: | Chen-Chang Peng, Ph.D. |
Format: | Others |
Language: | en_US |
Published: |
2007
|
Online Access: | http://ndltd.ncl.edu.tw/handle/45125072059614205814 |
Similar Items
-
Computer-assisted proofs in geometry and physics
by: Minton, Gregory T. (Gregory Thomas)
Published: (2014) -
Phase Controlled Piezoelectric Transformer Using in Backlight Inverter
by: Sheng-Chi Su, et al.
Published: (2006) -
Chaotic attractors of two-dimensional invertible maps
by: Vadim S. Anishchenko, et al.
Published: (1998-01-01) -
Dissussuon of Technology of 3-dimensional Computer Graphics for Computer-assisted Instruction on Cryopreservation
by: Wen-Kang Chang, et al.
Published: (2014) -
MACHINE-ASSISTED PROOFS
by: DAVENPORT, JAMES, et al.
Published: (2021)