首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  国内免费   7篇
  收费全文   4篇
  完全免费   2篇
  数学   13篇
  2012年   2篇
  2010年   1篇
  2009年   1篇
  2008年   1篇
  2005年   1篇
  2003年   2篇
  2002年   1篇
  2001年   1篇
  1991年   1篇
  1987年   2篇
排序方式: 共有13条查询结果,搜索用时 124 毫秒
1.
微分多项式系统的近微分特征列集   总被引:12,自引:0,他引:12       下载免费PDF全文
本文对微分多项式系统的近微分特征列集与微分特征列集之间的一些关系进行了研究,给出了在某些条件下近微分特征列集是微分特征列集的结论,从而对微分多项式系统特征列集理论(吴方法)进行了改进,并且建立的算法较大地提高了计算微分特征列集的效率.  相似文献
2.
数学机械化进展综述(迎接ICM2002特约文章)   总被引:11,自引:2,他引:9  
高小山 《数学进展》2001,30(5):385-404
本文介绍数学机械化理论,构造性代数几何,构造性微分代数几何,构造性实代数几何,方程求解,与几何自动推理的主要进展及其若干领域的应用,我们还提出了一些待解决的问题。  相似文献
3.
高次方程的判别式系统及其计算   总被引:1,自引:0,他引:1  
本文推广了高次方程判别式的定义使其可完全决定方程根的重数,基于吴氏算法与Groebner基算法,给出了五次方程的判别式系统并进行了比较。还研究了判别式系统的其它性质,得到了方程系数在变换X=y+h下的不变量的一种描述。  相似文献
4.
一、三角恒等式的机械化证明我们知道,适当选取模型,双曲几何、椭圆几何中的定理证明几乎可以全部化为三角函数与双曲函数的运算。即使在欧氏平面几何中,三角函数的应用有时也会使证明大大简化。但三角函数的运算往往是既繁琐又要很高的技巧,特别是当涉及的几何问题复杂时手算几乎是不可能的。吴文俊在文献[4,6]中指出,可以利用三角函数满足的代数关系及 Ritt-吴文俊原理机械化地证明三角函数公式。本文将给出更直接的方法,并用之于几何定理的证明。当定理涉及角度及方向时,该方法特别有效。  相似文献
5.
一、三角恒等式的机械化证明我们知道,适当选取模型,双曲几何、椭圆几何中的定理证明几乎可以全部化为三角函数与双曲函数的运算。即使在欧氏平面几何中,三角函数的应用有时也会使证明大大简化。但三角函数的运算往往是既繁琐又要很高的技巧,特别是当涉及的几何问题复杂时手算几乎是不可能的。吴文俊在文献[4,6]中指出,可以利用三角函数满足的代数关系及 Ritt-吴文俊原理机械化地证明三角函数公式。本文将给出更直接的方法,并用之于几何定理的证明。当定理涉及角度及方向时,该方法特别有效。  相似文献
6.
本文给出了一个计算Adomian多项式的新算法,并将其用于求微分方程的近似 解.我们的算法比原有算法效率高,且易于在计算机上实现.我们在Maple中实现了这一 算法,并通过30多个微分方程的求解验证了新算法的有效性.  相似文献
7.
This paper presents an algorithm to reduce a nonlinear algebraic partial differential equation system into the involutive characteristic set with respect to an involutive prolongation direction, which covers the existing algorithms based on Riquier method, Thomas method, and Pommaret method. It also provides new algorithms for computing involutive characteristic sets due to the existence of new involutive directions. Experiments show that these new algorithms may be used to significantly reduce the computational steps in Wu-Ritt's characteristic set method for algebraic partial differential equations.  相似文献
8.
给出了一类将微分多项式系统关于抽象对合延拓方向约化成对合特征集的算法. 该算法统一了已有的基于Riquier方法和Thomas方法及Pommaret方法延拓方程的算法. 采用我们及其他研究者最近发现的新延拓方向, 给出了计算对合特征集的新方法. 实践表明, 这些新方法可以用于简化Wu-Ritt特征集方法的计算程序.  相似文献
9.
函数分解问题是一个重要的数学问题,它被应用于多变量公钥密码系统的设计中.作者主要关注函数分解问题的判定性问题,将整系数多变元多项式方程求解问题与函数分解问题建立起了一定的联系,从而利用著名的希尔伯特第十问题的不可判定性来对函数分解问题的判定性问题进行研究.  相似文献
10.
提出了一个估计数控机床固有误差的新方法.与已有利用动态最小二乘(MLS)的方法相比,采用径向基函数(RBF)直接对已有数据进行拟合估计,大大提高了计算效率.还观察到,RBF方法在某个采样半径下误差估计精度总是优于MLS方法,而大于这个采样半径后则MLS方法较好.由此提出了穿越半径的概念与一种基于RBF方法与MLS方法的混合方法,以得到更好的误差估计.实验结果证实了新方法的有效性.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号