MM-Preprints2015
副标题：
The Mathematics-Mechanization Research Preprints (MM-Preprints) are edited by KLMM, which are a collection of the latest research papers written by KLMM members and visiting members. The purpose of the MM-preprints is to provide a prompt and complete record for the research work done in KLMM. These papers are not peer reviewed and are not considered to be formally published.
To include your paper in the MM-preprints, please use the LaTex styles files
Key Laboratory of Mathematics-Mechanization (KLMM)
Academy of Mathematics and Systems Sciences
Academia Sinica
