孤立子与微分几何中某些问题的机械化方法

【作者】 陈怀堂；

【导师】 张鸿庆；

【作者基本信息】 大连理工大学 ， 计算数学， 2004， 博士