计算机严格辅助证明相关硕士博士期刊学术论文 - 信丰网

计算机严格辅助证明相关论文

离散与间断动力系统的Conley指标理论及应用

Conley指标由Charles C.Conley在处理天体力学中的微分方程时首先提出。它是定义在任意孤立不变集上的同伦不变量,是Morse指标的推......

学位

Conley指标素孤立不变集分支点间断动力系统有限分片连续映射编码计算机严格辅助证明混沌 Ikeda映射

看过本文同时还关注