Lu Yang Bican Xia Automated Inequality Proving And Discovering (Hardback)
Author: Lu Yang, Bican Xia. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Title: Automated Inequality Proving And Discovering.