Lu Yang, Xiaorong Hou, Bican Xia. A complete algorithm for automated discovering of a class of inequality-type theorems. Science in China Series F: Information Sciences, 44(1):33-49, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.