论文部分内容阅读
在江苏省吴县市召开的1999年全国不等式研究学术会议上,中科院成都计算机应用研究所杨路教授应用通用软件Bottema给出以下不等式的一个"机器证明":
一个不等式的简证、推广及其它
【摘 要】
：
在江苏省吴县市召开的1999年全国不等式研究学术会议上,中科院成都计算机应用研究所杨路教授应用通用软件Bottema给出以下不等式的一个"机器证明":
【机 构】
：
浙江省衢州第二中学324000
【出 处】
：
中学数学月刊
【发表日期】
：
2001年5期
其他文献
下面的问题 1是第 1 8届 IMO试题 .问题 1 平面上一个凸四边形的面积为32 ,一组对边和一条对角线的长度之和为1 6 ,试确定另一条对角线的可能长度 .问题 1初看是一个普通的
2009年11月24日我科收住一例93岁患巨大卵巢肿瘤的老人，经手术于12月8日伤口Ⅰ期愈合出院，这是我科20余年来第一例超过90岁老人接受手术，特此加以总结报告。
宫外孕起病急、病情重，特别是宫外孕破裂，腹腔内大出血时，不及时诊断处理，可夺去患者的生命。积极配合诊治，有效的抢救护理措施，减少患者抢救时间，为患者诊断及抢救效果起到非常重要
目的评价开腹子宫肌瘤剔除术（TAM）、腹腔镜下子宫肌瘤剔除术（LM）的疗效及优缺点。方法选取行腹腔镜子宫肌瘤切除术（LM）82例,与同期经腹子宫肌瘤切除术（TAM）78例进行对照分析,对手术时
注重培养学生的创新意识和创新精神是数学教育的时代主题,也是每一位数学教师所关注的课题.而中考试卷里数学问题的设置,既是对学生创新能力的考查,又对初中数学的教学具有导
目的总结糖尿病酮症酸中毒的急诊护理体会。方法对57例糖尿病酮症酸中毒患者的急救护理进行回顾分析。结果57例患者代谢性酸中毒得到纠正，全部治愈出院，无一例褥疮和坠积性肺炎
目的对本社区居民慢性病现状进行分析，并提出对策，探讨影响慢性病的因素，减少慢性病及并发症的发生。方法对2230例18岁以上居民进行血压、血糖测量、上门随访等了解慢性病的相关
目的观察曲美他嗪联合地尔硫卓治疗稳定型劳力性心绞痛的临床疗效。方法将72例稳定型劳力性心绞痛患者随机分为治疗组和对照组各36例．两组患者均给予基础常规治疗。对照组在常