论文部分内容阅读
A complete algorithm for automated discovering of a class of inequality-type theorems
【出 处】
:
null
【发表日期】
:
2001年02期
其他文献