切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
初等几何定理证明的Clifford代数方法
初等几何定理证明的Clifford代数方法
来源 :数学进展 | 被引量 : 0次 | 上传用户:liongliong535
【摘 要】
:
本文结合是吴方法及平面几何的Clifford代数表示,提出了几何定理机器证明的一种完备的方法,用这种方法证明定理时,三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解
【作 者】
:
李洪波
程民德
【机 构】
:
中国科学院系统所
【出 处】
:
数学进展
【发表日期】
:
1997年4期
【关键词】
:
CLIFFORD代数
几何定理
机器证明
初值几何定理
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文结合是吴方法及平面几何的Clifford代数表示,提出了几何定理机器证明的一种完备的方法,用这种方法证明定理时,三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的。
其他文献
结肠镜检查的临床分析
近年来,国内大肠病变的发病率呈上升趋势,特别是大肠癌和功能性肠病。目前电子纤维结肠镜检查已成为诊断结肠病变的主要手段。本文分析我院2009年电子纤维结肠镜检查393例,着重
期刊
结肠镜检查
大肠癌
结肠息肉
结肠镜下息肉切除
传统儒家伦理文化对明代中医学发展影响研究综述
在中国文化里,儒家的伦理文化是最为成熟且一直占据统治地位的主流文化,它对中国社会各个方面都有深远影响,根植于其肥土厚壤之中的中国传统医学在发展过程中亦深受影响。明代的
期刊
儒家思想
伦理文化
明代
中医学
关于一类半线性退化椭圆方程的存在性结果
本文研究了下列半线性退化椭圆Dirichlet问题:m√j=1XjXju+cu+f(x,u,Xu)=0,在Ω上;u=ψ,在Ω上,这里X=(X1,...,Xm)是一组满足Hormander条件的光滑向量场,假设它们在区域的边界附近还满足一些附加条件,以及f∈C^∞(Ω×R×R^m),并且αzf(x,z,ξ)≥0,signzf(x,z,0)≥μ〉-∞
期刊
半线性
椭圆型方程
DIRICHLET问题
存在性
semilinear degenerate elliptic equation
vector fields
相关攻击与相关免疫函数
本文首先介绍了如何采用DC攻击法对一类流密码体制进行相关攻击,从而说明在密码学中有必要研究相关免疫(CI)函数。在综述了域F2上相关免疫(CI)函数的研究进展的同时,给出了CI函数在一般有限域
期刊
相关免疫函数
密码学
相关攻击
流密码体制
cryptography
correlation immunity
linear complexity
per
不充当自同构群的有限群
设p为奇素数,本文将用一些新的技巧来证明,当P是阶小于P^11的交换P-群时,自同构群方程Aut(X)=P无解。这个结果使MachHale在1983年的工作得到了突破,并且我们所给的方法具有广泛性。
期刊
有限群
P-群
交换群
自同构群
finite group
pgroup
automorphism
Abelian group
defining rela
以代谢综合征认识的发展来指导综合护理
“代谢综合征”描述了一组主要见于文明国家的疾病,这些疾病的发生与生活方式有一定的因果关系:进食过多、缺乏运动、社会因素及遗传背景等,导致肥胖症、2型糖尿病、高脂血症、
期刊
代谢综合征
诊断标准
综合护理
多项式空间的对偶及其在多元插值中的应用
本文通过把域K上n元多项式环看成域K上的无限维向量空间A,把n维仿射空间K^n中的每一点看成A上的线性泛函,从而K^n为对偶空间A^*的子集,利用对偶空间的理论得到了一些有趣的理论结果,弄清了K^n上点有
期刊
对偶
多元插值
多项式空间
线性泛函
dual
Grebner basis
multivariate interpolation
H.263视频编解码器中量化技术的研究与编码实现
在视频压缩标准H.263中,量化过程是造成DCT编解码信息损失的根源,所以量化器的好坏直接影响到编码器效率和重建图像的质量。本文介绍了H.263视频编解码器软件实现的方式并详
期刊
H.263
量化
视频解压缩
编码
H.263
quantization
video decompression
coding
关于广义Benjamin—Ono方程的整体适定性
对k〉a+3/2的广义Benjamin-Ono方程证明了当初值为小初值时相应的非线性初值问题的整体解的存在性以及唯一性,还得到了该整体解在L^2的意义下的渐近估计。
期刊
广义
B-O方程
整体适定性
整体解
初值问题
Benjamin-Ono equation
global well-posedness
asymptotic
脐血流S/D值异常与高危妊娠的相关分析
目的:对单胎晚孕孕妇脐动脉血流速率S/D比值与高危妊娠进行相关分析。方法:用胎儿脐动脉血流检测仪对610例足月孕妇进行监测分析。结果:S/D比值≥3时胎儿宫内窘迫、FGR(胎儿宫内生
期刊
脐动脉
血流速率
高危妊娠
与本文相关的学术论文