数论中未解决的问题.pdf
本书分6个部分，介绍了数论中大量未解决的问题，其中包括：素数，整除性，堆垒数论，不定方程，整数序列及其他问题，目的是向初次涉及研究工作的人以及有一定工作经历，但缺乏合适的数学问题的人，提供一批容易理解的问题。
的问题
文物保护与修复的问题.pdf
本书收录了2004年5月27日和28日在北京举行的研讨会发表的论文，内容包括：金属和陶瓷材料的保护；石质材料的保护；建筑遗址的保护：山陕会馆；考研遗址的保护四章。
方程求解与机器证明 : 基于MMP的问题求解.pdf
本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。