![](/img/cover-not-exists.png)
A complete algorithm for automated discovering of a class of inequality-type theorems
Lu Yang, Xiaorong Hou, Bican XiaVolume:
44
Language:
english
Pages:
17
DOI:
10.1007/bf02713938
Date:
February, 2001
File:
PDF, 970 KB
english, 2001