Login / Signup

A complete algorithm for automated discovering of a class of inequality-type theorems.

Lu YangXiaorong HouBican Xia
Published in: Sci. China Ser. F Inf. Sci. (2001)
Keyphrases