摘要
本文借助计算机解决了一些目前还没有被解决的数学问题
This article describes some ways to use the computer programs to solve some mathematics problems which have not been solved so far.
关键词
数学实验
无穷小量
人工智能
递归序列
凸函数
计算机应用
不等式
极限
experimental mathematics
infinitesimal quantity
artificial intelligence
recurrence sequence
convex function.