Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8256362 | Physica D: Nonlinear Phenomena | 2015 | 13 Pages |
Abstract
In this paper, computations assisted by computer involve symbolic and exact integer computations. Therefore, all the results are proved rigorously.
Related Topics
Physical Sciences and Engineering
Mathematics
Applied Mathematics
Authors
Ya-Lun Tsai,