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 email@example.com to obtain the style files.
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.
Key Laboratory of Mathematics-Mechanization (KLMM)
Academy of Mathematics and Systems Sciences