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

摘要

There are 9 examples of application with inequality’s program Agl2012 for discovery and decision in this paper.These examples show the powerful function of software.On the one hand,it was provided for ready-made templates and reference for research and application.On the other hand,it was summarized for strategies and technique of software use.So some corresponding research subj ects were proposed.Some research fields were initiated,for example,the local symmetry of product inequality. There are some new results and outstanding questions.%收集了不等式自动发现与判定程序 agl2012的9个应用实例。这些实例展现了 agl2012程序的强大功能，为研究应用提供现成的模板和参考。总结了软件使用的策略和技巧，开启了相应的研究课题(一些课题内容是首次提出的，如乘积型不等式的局部对称式)，精选了部分不等式自动发现新成果，提出了待解决的问题。