两条平面二次曲线交点的构形

给出了2条平面实文字系数二次曲线有4个实交点的条件，并给出了由4点构成的四边形为凹(凸)的判别条件。     

锈规作图论

只能画出同一半径的圆的圆规称为锈规.这篇论文所给出的即是锈规作图的理论.主要结果:把给定的两点作为0、1嵌入一张复平面,一个点Z 能仅由一副锈规作出,当且仅当z∈Q(Q_0复有理数域,Q_m 为Q_0的2-次的正规扩域,Q=■Q_m).上述结果的两个特例,回答了著名几何学家D.Pedoe 几年前提起的两个古老问题:给定两点A,B,能否仅用一副锈规作出点C,使得(1)△ABC 为一等边三角形;(2)C 为A,B 的对称中心.这头一个问题,已有人给出了解答.     

大型机汇编语言实验教学改革探讨

该文针对大型机汇编语言课程传统实验教学中存在的问题,对实验内容、实验过程和实验考核等多个方面进行了改革探索。遵循翻转课堂的教学模式,以学生为中心,围绕实验项目构建新的实验教学体系,在教学实践中给出了具体的实验教学实例和实施过程。改革旨在让学生除了掌握大型机硬件知识和汇编指令外,通过实际编程培养学生的动手能力和创新能力。     

差分代换的一些几何性质

文中从一种新的视角,即从几何上来研究差分代换,给出了差分代换的几何意义,引入代换收敛性概念,证明了逐次差分代换是不收敛的;得到了一个有趣结果:给定一个k维有理超平面,则用有限次差分代换总能把该k维有理超平面变为新变量所在坐标系的k维坐标面;给出了半正定型在逐次差分代换下不能终止的一个充分条件.     

平面代数剖分样本点临界点算法

侯晓荣给出了寻求平面代数剖分样本点的临界点算法,这较惯用的柱形代数分解（CAD）算法,其效率较高,基于侯晓荣的算法,作者对有无界分支的情形,采用了球极变换,将其转化为有界分支,再利用临界点算法来求样本点,在计算机 成功地实现了上述思想。     

基于数值计算的几何定理自动搜索方法

该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统.该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的定理搜索.     

基于规则的几何语言自动分词算法

对汉语分词的基本概念与应用,以及汉语分词的基本方法进行了概述.基于几何中的自然语言,结合正向减词最大匹配法,提出了适合几何语言的GMMM分词算法,并给出了算法的实现过程.     

多项式的完全判别系统

符号（文字）系数多项式的１个完全判别系统是由这些系数构成的１组显式表达式，这些表达式足够判定该项式的实根和虚根的数目及相应的重数，这样１个关于多项式根的分类的显式判准，对于五次及五次以上多项式迄今无人给出，这方面有效工具的缺乏，严重地妨碍了Ｔａｒｓｋｉ的判定算法及近期的一些机器证明方法的计算机实现，为了弥补这一缺陷，提出了对任意次数的多项式建立完全判别系统的１个通用算法，这一结果在各个不同的领域会     

自动发现不等式型定理的一个完备算法

利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法. 该算法无须事先对结果做任何形式的猜测,而能全自动地发现新不等式. 该算法对一大类不等式型定理是完备的,而且可用于几何约束问题的实解分类. 在Maple下,据之编写的程序DISCOVERER已发现了许多不同背景的不等式型定理.