A computer-assisted proof of existence of a periodic solution-猫眼课题宝

周期解存在性的计算机辅助证明

DOI：

10.3792/pjaa.90.139

发表时间：

2014

期刊：

Proc. Japan Acad. Ser. A Math. Sci.

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

Tomoyuki Miyaji;Hisashi Okamoto