不等式自动发现与判定程序agl2012典型应用9例

收集了不等式自动发现与判定程序agl2012的9个应用实例.这些实例展现了agl2012程序的强大功能,为研究应用提供现成的模板和参考.总结了软件使用的策略和技巧,开启了相应的研究课题(一些课题内容是首次提出的,如乘积型不等式的局部对称式),精选了部分不等式自动发现新成果,提出了待解决的问题.

智能模拟思想应用3例

根据智能模拟思想,设计了2个自动出题程序和3个多项式数据通用构造程序,这些程序不仅进一步完善了agl2012程序的功能(特别是教学辅助功能),也为用智能模拟思想进行研究提供了实例;结合具体例子对智能模拟思想进行了新的论述和补充;提出了待解决的问题.

用赫尔德不等式和柯西不等式证明一类根式不等式

借助于不等式自动发现与判定程序agl2012,通过引入附加表达式的方式,应用赫尔德不等式和柯西不等式证明了一类根式不等式,并编写了应用程序;文中的例子表明,这些应用程序已经成为破解根式不等式的利器,一大批难度甚大的不等式难题得到解决;提出了待解决的问题.