论文部分内容阅读
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成.讨论了算法的实现技术,分析了其复杂度与输出结果.
三角不等式的自动证明
【摘 要】
：
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成.讨论了算法的实现技术,分析了其复杂度与
【机 构】
：
四川大学信息管理系,中国科学院成都计算机应用研究所
【出 处】
：
四川大学学报(自然科学版)
【发表日期】
：
2003年04期
其他文献
新课标的提出,赋予了音乐课程新的价值和理念,但是现今中学的音乐教学现状仍存在着许多问题。本文结合新课改的理念,对中学音乐课改的现状进行了剖析,并提出了相应建议和改进
目的探讨肺癌患者外周血T细胞及胸水肿瘤浸润性淋巴细胞(TIL)的T细胞受体(TCR)Vβ亚家族及记忆性T细胞的表达情况。方法分离健康人和肺癌患者的T细胞,采用流式方法检测Vβ24
目的建立消炎解毒丸的质量标准,为本产品提供完善、可控的质量标准。方法采用薄层色谱法鉴别消炎解毒丸中的金银花、防风、连翘、甘草;采用HPLC法测定咖啡酸质量分数,色谱柱
目的探讨感染科护士对职业性风险的认知水平及如何提高感染科护士自我防护水平。方法采用问卷调查方法,对重钢总医院感染科护士职业危害因素的认知进行调查、分析,了解护士的
责任医疗组织制度是美国奥巴马政府新医改方案的重要改革举措,旨在通过供给方改革降低联邦医疗保险的成本、提高服务质量。本文对其内涵、宗旨与形成背景进行了阐述,对其核心
<正> 本文以健康献血员及正常胎儿脐带血为对照,同时检测了1例先天性高铁血红蛋白症及其12名亲属的血样。检测方法:定性试验按凌氏改良法,酶活性测定按Beutler氏改良ICSH推荐
文章采用克服了参数方法和历史模拟法的缺陷的蒙特卡罗模拟法(Monte Carlo Simulation,简称MC)计算的VaR方法,对香港恒生指数期货进行实证研究,为国内即将开设的股指期货市场
现代大众传媒一方面为大学生社会化获取社会信息、参与社会互动提供了丰富多样的途径和形式 ,对大学生树立正确的人生观、价值观具有导向作用 ,有利于社会角色的适应和履行 ;
某选厂硫浮选系统入选原矿含泥量大,且粒度不均匀,从而导致硫精矿质量及回收率一直难以达到设计指标。针对该选厂铁矿选硫系统存在的问题,对选硫系统进行流程考查后,利用原有