【本网讯】4月19日16：30，来自中科院成都分院计算所的姚勇老师在报告厅做了题为《计算机是如何证明不等式的？》的学术讲座。姚勇老师主要介绍在Mapple环境下如何运用Bottema软件证明不等式。