论文部分内容阅读
本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教授的“降维算法”。
几何定理的机器证明——每个中国数学教师都应懂得的方法
【摘 要】
：
本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教授的“降维算法”。
【机 构】
：
广东技术师范学院计算机科学系
【出 处】
：
广东技术师范学院学报
【发表日期】
：
2003年6期
其他文献
在铸造行业，由于高温高粉尘的恶劣环境，铸造自动化被越来越多的企业所重视和推行，突显了对工业机器人的需求。自动化（包括工业机器人）在铸造领域中的应用，已经由目前的单一浇注、搬
随着高功率光纤激光器的发展,光纤激光焊接技术开始运用到中厚板的焊接当中。高功率的光纤激光可以实现中厚板的焊缝一次成形,提高焊接效率,但是随着热输入的增大,匙孔及熔池波动更加剧烈,焊接稳定性难以控制,容易产生各类焊接缺陷。目前,对此类现象的机理认识仍不充分,但不少学者认为金属蒸汽的行为性质会对焊接稳定性产生影响。为了对高功率光纤激光焊接中的金属蒸汽有更充分的认识,本文选取304不锈钢高功率光纤激光焊
"社会网络分析"是将群体成员间相互关系作为研究内容,基于该属性,利用社会网络分析工具UCINET6.0,分析教学活动中学生形成的社会关系结构,找出学生群体中的子群(小团体)以及
从大班化教学向小班化教学转轨,从传统的一锅炒教学模式到针对每个学生的个性特点、学习能力进行有目的性的教学,是农村教师所面临的一个新课题。根据现状,笔者所在学校认真
11月11日，韩国农林畜产食品部发表消息称，10月28日在天安市所在的凤冈川采集的野生鸟类粪便中检测出H5N6型高致病性禽流感（HPAI）病毒。据此，韩国农林畜产食品部通过候鸟信息通知系
文章介绍了跆拳道中几种运动员反应的类型、影响其反应速度的几点因素,并对反应速度训练方法以及其经典的检验方法进行了分析.
临海高等级公路灌河通道方案的选择问题,是该项目能否顺利实施的关键。文章结合灌河沿岸规划及产业发展,从景观协调、环境保护、造价合理、结构可靠、施工简便、工期保障、营
本文利用WWZ的出口分解方法,结合WIOD世界投入产出数据库,从制造业的整体行业和细分行业两个方面出发,对金砖国家2005-2014年出口进行价值分解,并基于前向联系测算竞争力RCA_
中国中唐时期的薛涛和朝鲜李朝时期的许兰雪轩是两位才华横溢的女诗人。从女性主义的视角来看,她们的诗歌表现出强烈的女性意识。二者女性意识之共性主要体现在启蒙闺中的叛
本文从农村中小学现代远程教育的内涵、基本构成、目的、基本特征、研究内容和实施动力等六个方面对农村中小学现代远程教育进行了全面论述。