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 mm.sty. A sample file sample.tex is also provided. You may also send an e-mail request to to obtain the style files.

Key Laboratory of Mathematics-Mechanization (KLMM) 
Academy of Mathematics and Systems Sciences
Academia Sinica