Summary : |
This toolbox is used to research of dynamical system. This toolbox treat the phase space as intervals. |
Description : | CIS is used for research of dynamical system. This toolbox is design to use for computer-assisted proof. However, you must make a model-file with numerical verification. The internal calculate is base on Subdivision Algorithm. |
Corresponding Author : |
Susumu YAGI |
Website : | http://sourceforge.net/projects/cis/ |