论文部分内容阅读
在目前的平面几何教学软件中,没有实现对表达式的推理.本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐次的表达式命题给出可读的证明过程.
平面几何中复杂表达式的自动推理
【摘 要】
：
在目前的平面几何教学软件中,没有实现对表达式的推理.本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐次的表达式命题给出可读的证明过程.
【机 构】
：
广州航海高等专科学校,计算机与信息工程系
【出 处】
：
中国水运（学术版）
【发表日期】
：
2004年期
其他文献
随着社会的不断改革和发展,英语学习越来越重要,如何让学生学好英语,需要教育工作者认真研究。在英语教学过程,可运用编演英语短剧的方法,其通过展示学生的才艺营造课堂气氛,
Tuberculosis of pancreas and peripancreatic lymph nodes in immunocompetent patients: experience from
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在火箭/导弹发射时,地面试验图像受烟雾干扰严重,在地面试验图像预处理中,烟雾弱化研究非常重要。首先对频域滤波法进行了探讨,提出了一种新的同态滤波方法,然后根据小波变换能兼顾空-频域和多分辨率分析的特性提出了加权小波系数的烟雾弱化方法。最后采用5种不同的客观评价方法对处理后的图像进行评价。实验结果表明,所提出的两种烟雾弱化处理方法更有效。
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
In situ expression and significance of B7 costimulatory molecules within tissues of human gastric ca
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
通过中学生的心理现状及原因来分析体育活动对中学心理健康的影响,以及在体育教学中如何渗透心理健康教育,使学校体育课发挥其特殊功能。
Through the psychological status
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥