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]
@article{YangHX01, title = {A complete algorithm for automated discovering of a class of inequality-type theorems}, author = {Lu Yang and Xiaorong Hou and Bican Xia}, year = {2001}, doi = {10.1007/BF02713938}, url = {http://dx.doi.org/10.1007/BF02713938}, researchr = {https://researchr.org/publication/YangHX01}, cites = {0}, citedby = {0}, journal = {Science in China Series F: Information Sciences}, volume = {44}, number = {1}, pages = {33-49}, }