论文部分内容阅读
通过引入全局变量，使不等式自动发现过程中数据表达式的构造简洁而方便；通过角代换，解决了锐角三角形不等式的验证问题；通过正数域等价集，解决了实变元不等式的验证问题；给出了等腰三角形时取等号不等式的构造方法；实现了已知不等式隔离式的自动发现．
不等式自动发现与判定程序agl2010的若干新改进
【摘 要】
：
通过引入全局变量，使不等式自动发现过程中数据表达式的构造简洁而方便；通过角代换，解决了锐角三角形不等式的验证问题；通过正数域等价集，解决了实变元不等式的验证问题；给出了等腰
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
汕头大学学报：自然科学版
【发表日期】
：
2014年1期
其他文献
为深入探索PEG／TritonX-100双水相体系中PEG分子对非离子型表面活性剂TritonX-100胶束特性的影响，利用粘度法对非离子型表面活性剂TritonX-100水溶液的胶束化行为进行表征，研究
【正】 本书由河井弘志、田泽恭二、青木良一合编,日本图书馆协会于1983年11月出版。全书除序言外,共分七章。第一章、图书选择与藏书建设,内容有:(1)选书用术语;(2)图书选择
在全球面临金融危机和各种风险不断增加的情况下,加强和实施服务营销战略是物流企业参与市场竞争、建立核心竞争力的需要,也是物流企业利用金融危机转"危"为"机"、提高自身效
我国的经济发展正处在一个新时期，自然就有一些新问题、新观点、新说法。能够不压帽子、不打棍子地进行探讨，同样是一种新景象。我们欢迎，也希望有更多的读者，对更多的问题各抒己
人民银行全省分行长一季度例会于1998年5月5日—7日在西安召开,会期三天.这次会议的主要内容是:传达贯彻全国一季度分行长例会精神,分析研究一季度我省经济金融形势,布置清理
【正】成功的先行者总和“第一”结下不解之缘,总善于在别人不可能开花的地方开花,善于在别人不可能结果的地方结果,不经意地翻开《当代中国名人录》,我们看到其中有一个名字
本文提出了一个基于小波变换的混合加密算法,即先采用小波变换对图像进行压缩,再用改进Zigzag变换对图像进行置乱,最后用混沌序列矩阵对置乱图再进行异或加密.实验结果表明：该
[目的] 观察烤瓷熔附金属修复体(简称金瓷修复体)的临床修复效果,分析金瓷修复体与牙齿美容的关系,为今后临床应用提供参考.[方法] 对1995年9月至今的1 189例患者制作的2 001
一、兴趣,识字的源动力识字教学是小学低年级的教学重点。这一阶段学生的学习兴趣容易被枯燥乏味的识字扼杀掉。所以教师恰当的引导尤为重要。识字教学要充分利用儿童的生活