论文部分内容阅读
收集了不等式自动发现与判定程序agl2012的9个应用实例.这些实例展现了agl2012程序的强大功能,为研究应用提供现成的模板和参考.总结了软件使用的策略和技巧,开启了相应的研究课题（一些课题内容是首次提出的,如乘积型不等式的局部对称式）,精选了部分不等式自动发现新成果,提出了待解决的问题.
不等式自动发现与判定程序agl2012典型应用9例
【摘 要】
：
收集了不等式自动发现与判定程序agl2012的9个应用实例.这些实例展现了agl2012程序的强大功能,为研究应用提供现成的模板和参考.总结了软件使用的策略和技巧,开启了相应的研
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
广东第二师范学院学报
【发表日期】
：
2016年3期
其他文献
10月14日省委书记王云坤在参观创业促就业成果展时指出,促进就业是实现经济快速发展的重要措施,全社会都要关注创业和就业问题。省委常委、秘书长李申学,副省长李斌及省直有
党的十六大,把“三个代表”重要思想郑重写入党章,同马克思列宁主义、毛泽东思想、邓小平理论一道,确立为我们党必须长期坚持的指导思想。这是十六大的灵魂,是历史性的决策、
肱骨外髁骨折，在儿童亦称为肱骨外髁骨骺骨折，骨折块常包括肱骨小头和肱骨滑车之桡侧部。由于肱骨外髁骨折块很大部分由软骨构成，X线片软骨不显影，而且年龄越小，软骨越多，易发生漏
除了成本效率、学业成就之外，安全视角是美国中小学校规模研究的又一重要路径。研究表明：学校规模会影响学校安全，学校规模越小，学校暴力行为就越少，学校规模越大，学校对安全的关注
学术界对1920年底陈独秀南下广东革新教育的研究,目前还较为薄弱。有学者认为此次教育革新取得了彻底的教育改革效果,而事实上,此次教育改革由于受各种主客观条件限制,特别是
牛局长到了退居二线的年龄，上级却迟迟没有下文。不久，局里调来了一位年轻的副局长，明眼人一看便知是来接牛局长的班的。但转眼两个多月过去了，机关的班子还是老样子。牛局长一直
江泽民同志在党的十六大报告中提出:“我们要在本世纪的头二十年,集中力量,全面建设惠及十几亿人口的更高水平的小康社会,使经济更加发展、民主更加健全、科学更加进步、文化
对满足条件＂对任意非正规的循环子群H,都有NG（H）/H循环＂的有限p群G进行研究,当p〉2时,给出此类群的完全分类;当p=2时,列举一些群例.
目的：表达小鼠重组Raf-1蛋白,为进一步研究其在信号传导中的功能奠定基础.方法：提取小鼠肝脏组织总RNA,逆转录合成cDNA,巢式PCR扩增Raf-1基因编码区.将Raf-1基因克隆入原核表达
目的:提高对细菌性阴道病的认识,探讨个人行为、生活方式与细菌性阴道病的关系.方法:以某妇产科医院门诊的200名患细菌性阴道病的妇女为病例,200名健康育龄妇女为对照进行病