数学机械化丛书
副标题：
欢迎有关专著列入《数学机械化丛书》系列。我们在收到书稿或书稿计划后将请有关专家审查，审查合格后即可作为丛书出版。《数学机械化丛书》由“973”项目“数学机械化及其在信息领域的应用”以及“数学机械化应用推广专项经费”提供部分资助。
