论文部分内容阅读
借助于级数理论和maple数学软件,本文研究单变元三角函数不等式的发现及机器自动证明,根据算法所编写的程序hdtrig2015能够在极短的时间内实现三角函数不等式的自动验证.丰富的实例表明本文的算法具有极大的优越性,能够成批实现三角函数不等式的机器自动验证.
单变元三角函数不等式的发现与自动证明
【摘 要】
：
借助于级数理论和maple数学软件,本文研究单变元三角函数不等式的发现及机器自动证明,根据算法所编写的程序hdtrig2015能够在极短的时间内实现三角函数不等式的自动验证.丰富
【机 构】
：
福清第三中学
【出 处】
：
汕头大学学报：自然科学版
【发表日期】
：
2016年1期
其他文献
知识不断更新,科技不断突破,经济不断发展,现代企业面临更多的机遇和挑战,人才竞争愈加激烈.本文从人才的选用、培训、激励和留用等方面论述了现代企业进行人力资源开发与管
本文针对研究大系统问题建立的多目标决策模型的特点,提出使用分步筛选方法求其最佳协调解。首先,通过使所求目标值与最优目标值的允许误差来反映决策人的偏好;其次在满足决
雅马哈是做乐器起家的，雅马哈有自己的旋律和节奏，这种不疾不徐的节奏，我认为才是专业的态度。独有的雅马哈节奏，也让我们能和谐地融入摩托车行业。
广州市某河涌整治工程主要包括堤防重建和水闸改建,地处软土区,工程地质条件复杂.通过勘探、原位试验、室内实验等地质勘察方法,针对地基渗透稳定、地震液化、边坡稳定性、沉降变形及抗滑稳定性等工程地质问题进行分析评价,并依据软土工程特性及建筑工程特征分别采用换土垫层法、塑料插板排水固结法、深层搅拌桩和桩基础等地基处理方法,效果较好.
高校学报按高教园区办刊，整合区域内的学报资源，以资源共享的形式办刊，从而得到类似于专业期刊的效果。但是，这种思路的可实现性以及这种结合模式实际操作的可行性值得商榷。对高
现代金融领域的犯罪分子，通常利用银行结算的方便条件，账外设账、账外从事违法经营，作案手段极其隐蔽，有的甚至伪造假账、删改电脑账页。对于账外账，审计查处难度很大。查处工作对
简述了导向钻机在廊坊经济技术开发区通信工程中,穿越砂土层扩孔φ730mm,铺设12根外径为φ110mm的HDPE管管群获得成功的实例.