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

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

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

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

借用平抛运动辨析矢量、标量的求和

我们知道，矢量的合成遵守几何法则(平行四边形定则或三角形法则)；而标量的合成遵守代数法则。但在平时的教学中却发现许多同学对矢量遵守的平行四边形定则心存疑虑，解题时不能很好地应用。甚至有的同学在对标量求和时错误地应用了平行四边形定则。下面我们借用一道平抛运动的习题，来对上述问题作一辨析。     

Banach空间n阶非线性积分-微分方程初值问题解的存在性

用Tonelli方法研究了Banach空间中n阶非线性积分—微分方程初值问题，在非线性增长条件下，获得了初值问题解的存在性及其Tonelli迭代逼近。     

三对角方程组行处理法并行算法模拟

给出一个串行模拟在分布式存储ＭＩＭＤ一级３叉树机上求解任意三对角线性代数方程组的分布式迭代算法的Ｃ语言程序。     

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

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

桥梁结构截面特性计算的梯形分块法

本文具体阐述了桥梁结构常用截面几何特性计算的基本原理,探讨了桥梁结构常用截面几何特性的电算方法,可供从事悬索桥设计与施工的人员参考。     

中国科学家揭示太空三维磁重联的几何结构——《Nature Physics》再次发表北京大学与国家天文台等最新合作成果

以中国科学院国家天文台肖池阶副研究员、北京大学王晓钢教授、濮祖荫教授等为主的研究小组，继去年首次发现了自然界中存在磁场零点（Nature Physics2（7），478—483，2006）之后，最近又合作完成了三维磁重联完整几何结构的卫星观测研究。     

带有强迫能量的最优几何Hermite插值

讨论了空间四次Bézier曲线在具有最小强迫能量的情况下的几何Herm ite插值,曲线不仅插值于两端点,而且插值于各端点的切线、曲率。证明了当两端点的距离足够小时,这种插值条件是可以满足的。