非奇M-矩阵的判定准则

给出了非奇M -矩阵新的判定定理.利用矩阵B=A +AT 满足新的判定定理的条件 ,得出矩阵A为非奇M矩阵的结论 ,推广了已有的判定定理.实例说明 ,采用该定理可以较为容易地得出判定结果     

矩阵广义对角占优性的判定

利用线性方程组解的理论得到了矩阵广义对角占优的又一判定定理,对于用此方法判定的广义对角占优矩阵A,可具体给出正对角阵A,使AA为对角占优阵.作为应用还得到了矩阵非奇异的判定定理.最后给出了应用实例.     

一类不等式的判定算法

应用零点定理,斯图姆定理和单变元多项式正定性判定定理,讨论了不等式φ(x)>ψ(x)在两种不同的情况下的判定算法.     

迈向数学机械化：从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入因境，评价了塔斯基在理论上给出了定理判定的方法意义。特别指出是王浩首次在计算机上实现了高效证明定理的方法，并明确提出“迈向数学机械化”。     

一种改进的不动点存在唯一性定理

非线性方程求根的问题可转化为求不动点的问题,后者常采用迭代法求解.不动点存在唯一性判定定理是其重要定理.通常的不动点存在唯一性判定定理基于Banach不动点定理,需要判定迭代函数是否具备两个条件:映内条件和压缩条件.指出对于非线性方程求根的问题,映内条件可用边界条件代替,并提出改进的不动点存在唯一性判定定理.改进的定理用边界条件取代了映内条件,从而不必考虑迭代函数在整个区间上的情形,而仅需考虑其在区间边界上的函数值,因此更便于应用,且适用范围更广.     

改进的概念格协调集判定

针对形式背景(U,A,I)及非空属性子集D,通过引入E=A-D及G=E-D~(**),证明了新的协调集判定定理及约简判定定理.作为定理的扩充,还证明了A是协调集及A是约简.所得研究结果简化了文献中相应定理的判定条件,减少了相关运算的工作量.     

基于分块矩阵Hoffman定理的Gerschigorin变分

在Hoffman定理的基础上,利用"和式"思想,给出了复分块矩阵非奇异的判定条件,进一步扩展了Gerschgorin圆盘定理.作为应用,给出了复分块矩阵正稳定的新判定条件.     

群体系统稳定性的研究现状及线性时变系统的稳定性判定方法

群体系统的稳定性是研究群体系统其它性能的前提条件,本文阐述了其在当前国内外的研究现状,指出当前研究中存在的问题,并提出可能出现的新的研究方法以及研究方向,如非线性群体系统的稳定性分析,关联函数eij属于何种类型函数的确定等.根据一种M-矩阵的判断方法及P-F定理,通过引入两个正参数τi和pmin,对Siljak 等人提出的系统全局最优稳定性判定定理,系统联结稳定性判定定理加以改进,提出了一种线性时变群体系统的稳定性判定方法.此方法简化了计算系统的复杂性,减少了计算量,从而提高了求解效率,具有实际意义.     

一类时标上时滞动力方程的全局吸引性

研究了一类时标上时滞动力方程的全局吸引性,利用Lyapunov函数方法,得到了时标上新的判定定理,所得定理统一了时滞微分方程与差分方程的相应结果.文章最后给出了一个例子以说明主要定理.     

关于曲线拐点的几个充分性定理的比较

讨论了曲线拐点的三个充分性定理之间的关系,并通过具体例子说明了在这三个定理中选择判定拐点的最佳方法,从而为判定曲线拐点提供了方便,也表明了教材中所采用定理的理由。     

如何构造辅助函数证明含有“中值点”的导数值的等式

通过实例介绍了在利用微分中值定理证明含有“中值点”的导数值的等式时,如何利用构造法引进辅助函数的方法。     

微分中值定理证明方法

利用Rolle中值定理,给出Lagrange中值定理和Cauchy中值定理的作辅助函数、几何作图证明、三角形面积法证明方法.     

数学归纳法自动推证研究

数学归纳法广泛应用于数学以及其它学科上相关定理证明.　运用有关数学理论在计算机代数系统Maple下,　讨论了算法的实现技术,　分析了复杂度与输出结果的关系,　在此基础上,　设计并实现了数学归纳法可读型自动推证.　结果表明,　该算法简单正确,相应的程序操作简单,　功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值.     

论微分中值定理证明中的辅助函数

本文通过对微分中值定理证明中辅助函数的分析,发现了它的本质所在,由此得到了便带普遍性的微分中值定理,同时指出了定理证叫中辅助函数构造的一般方法。     

Desargues定理及其逆定理的应用推广

Desargues定理及其逆定理揭示了在两个三点形(初等几何中称为三角形)中存在着一种很重要的位置关系,因此,在证明初等几何中一些有关"点共线"或"线共点"的定理或命题时,常常用到它们.在应用Desargues定理(或其逆定理)时,其关键就在于正确确定两个满足定理条件且符合所证命题结论的三点形来.当然,这两个三点形有时并不是唯一的一对,可根据实际情况灵活地加以选用.     

关于多元函数极限的一种求法的注记

"多元函数极限的一种求法"[1]一文把多元函数极限的判断及求法转化为一元函数极限的判断及求法。给出了定理及相应的推论,并给予了证明。但其定理和推论的(1)都是错误的。为防止对读者造成误导,特予指正。     

Grashof定理的重要推广

在提出并证明了关于铰链四杆闭链中转动副之整转性的若干引理、定理的基础上,给出了系统、完备的铰链四杆机构类型判定定理,对传统、著名的Grashof定理作了重要的延伸和推广。     

微分几何定理证明中最简单辅助条件的计算

在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。对预先确定的标准如变元个数最少、导数算子阶数最低等，利用根微分理想分解的Rosenfeld—Groebner算法，给出了微分几何定理机器证明中最简单辅助条件的构造性算法。     

《网络算法与复杂性理论》中一个定理的错误证明的更正

本文指出了《网络算法及复杂性理论》（研究生教材）中一个定量的错误证明，并给出了更正。该定理为一般图匹配中的一个非常重要的基本定理。     

几何定理机器证明的并行前向推理

几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。但是传统算法在实际应用中对复杂命题的解题效率还存在问题。本文尝试用并行计算方法来提高算法效率，分析了前向推理在消息传递编程模型下的任务划分、通信组织、任务调度等问题，并在MPICH 2下实现了并行前向推理算法，实测的并行性能指标表明，对于一些较复杂的命题，此算法能显著减少推理时间。