5YANG L. Practical automated reasoning on inequalities: Generic programs for inequality proving and discovering[M]//Proc of The Third Asian Technology Conference in Mathematics, Springer-Verlag, 1998:24-35.
7Yang L. Practical automated reasoning on inequalities: Generic programs for inequality proving and discovering[C]. Springer-Verlag: In Proc of The Third Asian Technology Conference in Mathematics, 1998: 24-35.
