黄方剑   

黄方剑
Professional Title:Lecturer

MORE>
Language：English

Function Package

Bottema for Maple 17 and later versions

Data : 2017  Hits :

Bottest17 for Maple 17 or later versions, developed by Lu Yang and his collaborators(Shihong Xia, etc.), is a very powerful automated proving tool for geometric and algebraic inequalities.

Attachments:


Address: Shahe Campus:No.4, Section 2, North Jianshe Road, 610054  |  Qingshuihe Campus:No.2006, Xiyuan Ave, West Hi-Tech Zone, 611731  |   Chengdu, Sichuan, P.R.China © 2010 University of Electronic Science and Technology of China. All Rights Reserved
Click：    MOBILE Version University of Electronic Science and Technology of China

The Last Update Time : ..