排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
两条平面二次曲线交点的构形 总被引:1,自引:0,他引:1
给出了2条平面实文字系数二次曲线有4个实交点的条件,并给出了由4点构成的四边形为凹(凸)的判别条件。 相似文献
2.
只能画出同一半径的圆的圆规称为锈规.这篇论文所给出的即是锈规作图的理论.主要结果:把给定的两点作为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 的对称中心.这头一个问题,已有人给出了解答. 相似文献
3.
4.
平面代数剖分样本点临界点算法 总被引:1,自引:0,他引:1
侯晓荣给出了寻求平面代数剖分样本点的临界点算法,这较惯用的柱形代数分解(CAD)算法,其效率较高,基于侯晓荣的算法,作者对有无界分支的情形,采用了球极变换,将其转化为有界分支,再利用临界点算法来求样本点,在计算机 成功地实现了上述思想。 相似文献
5.
文中从一种新的视角,即从几何上来研究差分代换,给出了差分代换的几何意义,引入代换收敛性概念,证明了逐次差分代换是不收敛的;得到了一个有趣结果:给定一个k维有理超平面,则用有限次差分代换总能把该k维有理超平面变为新变量所在坐标系的k维坐标面;给出了半正定型在逐次差分代换下不能终止的一个充分条件. 相似文献
6.
对汉语分词的基本概念与应用,以及汉语分词的基本方法进行了概述.基于几何中的自然语言,结合正向减词最大匹配法,提出了适合几何语言的GMMM分词算法,并给出了算法的实现过程. 相似文献
7.
该文提出了利用数值方法进行几何定理自动搜索的方法,并基于此方法开发了几何定理动态搜索系统.该系统不但可以证明构造性的初等平面几何命题,而且也实现了对非构造性几何命题的定理搜索. 相似文献
8.
自动发现不等式型定理的一个完备算法 总被引:3,自引:1,他引:2
利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法. 该算法无须事先对结果做任何形式的猜测,而能全自动地发现新不等式. 该算法对一大类不等式型定理是完备的,而且可用于几何约束问题的实解分类. 在Maple下,据之编写的程序DISCOVERER已发现了许多不同背景的不等式型定理. 相似文献
9.
多项式的完全判别系统 总被引:13,自引:4,他引:9
符号(文字)系数多项式的1个完全判别系统是由这些系数构成的1组显式表达式,这些表达式足够判定该项式的实根和虚根的数目及相应的重数,这样1个关于多项式根的分类的显式判准,对于五次及五次以上多项式迄今无人给出,这方面有效工具的缺乏,严重地妨碍了Tarski的判定算法及近期的一些机器证明方法的计算机实现,为了弥补这一缺陷,提出了对任意次数的多项式建立完全判别系统的1个通用算法,这一结果在各个不同的领域会 相似文献
1