恒等式证明的概率模型法

本文利用建立概率模型,证明几个重要的恒等式。有些恒等式用常用的分析方法证明是很不易的,但建立了概率模型后,通过求概率或求数学期望,很方便地把恒等式证明出来。     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

推动区域科技进步的一项强有力措施--谈实施党政领导科技进步目标责任制实地考核的成效与体会

按照<安徽省地方党政领导科技进步目标责任制考核实施办法>,从2001年起省委组织部、省科技厅已连续两年分别对合肥、芜湖、马鞍山、铜陵、淮南、安庆等市党政领导班子科技进步目标责任制实施情况进行实地抽查考核.实践证明:实施党的领导科技进步目标责任已成为一股强大动力,正有力地推动着区域科技进步和科技人才队伍建设.     

公式H_n=lnn+C+ε_n及在级数中的运用

证明公式Hn =lnn+C+εn,并在级数收敛性判别中运用     

卡尔达诺的构造性几何证明

基于对《大术》第7章关于三项方程变换法则的几何证明的构造性特点分析,总结了卡尔达诺的构造思想,并按照其方法把他针对三项三次方程的证明自然地推广到一般三项方程.由此认为,卡尔达诺在《大术》中的几何证明大多区别于经典的综合证明,而属于以分析为基础的验证.他对涉及高次方程的几何证明一般是通过具体例子来展示一般方法,但是,他针对特殊情形的证明方法具有一般性.另外,在方法论上指出,古证复原方法也适用于历史上存在的几何证明.     

方程与曲线论[23]——演变公理体系

在丰富的几何图形世界中,用运动变化的观点,发现一类未能在《几何原本》和《几何基础》中展示的公理体系——演变形概念,演变公理。该理念在整个欧式几何系统中,不仅具有和谐性,还具有独立性和完备性。本文除运用推理证明公理系的基本问题之外,还列举实例对演变形的存在和其性质进行阐释。     

建立递阶层次结构中可达阵的又一方法

L．A．Satty在利用可达阵建立递阶层次结构中，是通过二元阵乘法定义，逐步找寻满足A^k-1≤A^k=A^k 1条件的k值，根据A^k建立递阶层次结构。现通过二元件A的有向图直接给出A^k。下面给出这两种方法一致性的证明过程。     

周期函数的导函数的周期问题

本文将证明：在整个实轴上可微分的周期函数与其导函数的周期相同这一推测．     

关于几类压缩型映象的不动点定理

本文研究了几类压缩映象列的公共不动点存在的问题，获得了一些新的结果。