论文部分内容阅读
收集了不等式自动发现与判定程序agl2012的9个应用实例.这些实例展现了agl2012程序的强大功能,为研究应用提供现成的模板和参考.总结了软件使用的策略和技巧,开启了相应的研究课题（一些课题内容是首次提出的,如乘积型不等式的局部对称式）,精选了部分不等式自动发现新成果,提出了待解决的问题.
不等式自动发现与判定程序agl2012典型应用9例
【摘 要】
：
收集了不等式自动发现与判定程序agl2012的9个应用实例.这些实例展现了agl2012程序的强大功能,为研究应用提供现成的模板和参考.总结了软件使用的策略和技巧,开启了相应的研
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
广东第二师范学院学报
【发表日期】
：
2016年3期
其他文献
除了成本效率、学业成就之外，安全视角是美国中小学校规模研究的又一重要路径。研究表明：学校规模会影响学校安全，学校规模越小，学校暴力行为就越少，学校规模越大，学校对安全的关注
目的：表达小鼠重组Raf-1蛋白,为进一步研究其在信号传导中的功能奠定基础.方法：提取小鼠肝脏组织总RNA,逆转录合成cDNA,巢式PCR扩增Raf-1基因编码区.将Raf-1基因克隆入原核表达
目的:提高对细菌性阴道病的认识,探讨个人行为、生活方式与细菌性阴道病的关系.方法:以某妇产科医院门诊的200名患细菌性阴道病的妇女为病例,200名健康育龄妇女为对照进行病