![云环境下数学软件虚拟化关键技术的研究]()
论文摘要云计算的发展推动了Web数学的发展,改变了传统意义上数学成果和数学知识的共享方式,对消除由于数学领域专家之间无法及时交流而产生的信息孤岛等问题起了很大的推动作用。云环境...
![微分方程（组）的解空间的规模]()
论文摘要本文依据数学机械化思想,在导师张鸿庆教授“AC=BD”理论的指导下,以计算机符号数值计算软件为工具,研究了关于微分方程求解的理论,特别是Riquier-Janet理论和...
![非线性偏微方程求解与可积系统]()
论文摘要本文研究了孤立子理论中关于非线性偏微方程求解的若干方法和可积系统中如何寻求新的可积耦合问题:1.简介孤立子理论的历史背景和发展概况;2.应用广义射影Riccati方程求...
![一类非线性波动方程的群分类]()
论文摘要本文依据数学机械化思想,在导师张鸿庆教授“AC=BD”理论的指导下,以计算机符号数值计算软件为工具,研究了关于微分方程群分类的理论.研究了一类非线性波动方程低维李代数下...
![非线性波、符号积分及其应用]()
论文摘要本文以数学机械化思想和导师张鸿庆教授提出的AC＝BD理论为指导,借助于符号计算软件Maple,研究了符号积分和微分方程求解中的一些问题:精确波解、有理积分、微分扩张、初...
![积分方程求解及一类机械化算法研究]()
论文摘要积分方程是继微分方程之后出现的一个新的近代数学的重要分支,也是科学研究和解决工程技术问题的重要工具之一,具有广泛的应用.方程求解是积分方程研究的热点和难点之一。本文在前...
![广义循环矩阵的性质及循环矩阵在Mizar系统中的实现]()
论文摘要循环矩阵属于Teoplitz矩阵类。一般n阶Teoplitz矩阵的特殊性在于它仅有2n-1个元素并且位于每一条平行于主对角线的直线上的元素都相同，而循环矩阵除了具有Te...
![非线性方程精确解和一类空间的凸性与光滑性]()
论文摘要本文主要作了以下三方面的研究:首先,借助于符号计算和吴方法,研究了非线性微分-差分方程的精确解,提出了双曲函数有理展开法和有理形式的展开法,并推广了非线性发展方程的椭圆...
![非线性微分方程求解和混沌同步]()
论文摘要本文根据数学机械化思想,以计算机符号数值计算软件为工具,研究了孤立子理论,分数微分方程和混沌系统中的若干问题：1.构造非线性发展方程的精确解及其机械化实现；2.构造非线...
![AC=BD模式及其在偏微分方程精确求解中的应用]()
论文摘要本文根据数学机械化的思想,在导师张鸿庆教授“AC=BD”理论的指导下,研究在弹性力学、流体力学、空气动力学、等离子体物理、生物物理和化学物理等现代科学技术中引出的非线性...
![一类非线性发展方程的非行波解的构造]()
论文摘要本文根据吴文俊院士提出的数学机械化的思想,在导师张鸿庆教授“AC=BD”理论的指导下,以构造性的变换和符号计算为工具,研究在弹性力学、流体力学、空气动力学、等离子体物理...
![某些三角剖分上样条函数空间的奇异性及插值适定性]()
论文摘要样条函数作为函数逼近论的一个重要分支,已得到了迅速的发展和广泛的应用。样条函数,就是具有一定光滑度的分段或分片定义的函数。一元样条函数已经建立了非常完善的理论体系。八十...
