机械化算法相关论文
本文主要运用扩展的tanh法、推广的(w/g)展开法、经典李群法、非局域对称方法研究了几类非线性发展方程(组),如广义(2+1)维高阶水......
本论文以数学机械化为指导思想，应用导师AC=BD模式，通过大量的理论对超越函数的初等积分存在性做了比较详细的论述。主要是在符号积......
筹算是中国古代数学的计算系统，用算筹摆成数字进行计算则称为筹算。“算术”两字的原始意义指的就是筹算的技术，这种史称恰好反映了......
基于微分特征集理论和算法,提出在一定条件下判定偏微分方程(组)非古典对称存在性的机械化方法.该方法对Clarkson P A提出的关于偏......
建立了外微分理论与场论之间的一些对应法则,指出外微分形式是场论中众多命题的数学模型,得到用外微分运算解决场论中梯度、旋度、......
给出了求解一类线性偏微分方程组一般解的机械化算法.这一算法可以在有限步完成.运用这种新法对Maxwell方程组和按应力求解的二维......
本文证明线性算子方程组Ａｕ＝ｆ的一般解为ｕ＝Ｃｖ＋ｅ，其中ｖ满足方程组Ｄｖ＝ｇ，Ｄ是对角矩阵，以Ｈｉｌｂｅｒｔ零点定理的构造性证明为基础，给出了Ｃ，Ｄ，ｅ的机械化求法。用此方法可以给出......
本文基于微分形式吴方法理论及算法给出无需确定对称Lie代数本身而事先构造其同构像(具有同结构常数的Lie代数)的机械化算法.该算......
