（美）玛莎·葛森著2012 年出版249 页ISBN：9787564053727
在2002年11月，一位俄罗斯数学家把他对于庞加莱猜想的证明贴到了互联网上。他不是第一个宣称解决了庞加莱猜想的人。他甚至不是那一年唯一一个把对此猜想的尝试性证明贴到互联网上的人。但是他的证明是对的。...
最高人民法院刑事审判一至五庭等编著2009 年出版643 页ISBN：9787503699610
本书是最高人民法院刑事审判第一至五庭主办的业务研究和指导性用书——《刑事审判参考》的十年合订本，在合订的编辑过程中，打乱原有编排体例，将相同案由的案例和审判政策依据归类，本卷是侵犯公民人身权利、民主...
陈胜利著2016 年出版465 页ISBN：9787560357973
本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
张彩然，王丽主编2005 年出版1030 页ISBN：7111172043
本书包括建筑工程施工质量验收规范与施工验收规范对照手册。
张国栋主编2010 年出版256 页ISBN：9787534944727
本书是以《公路工程概算定额》以及相关标准规范为依据，并列举实例的形式编成的公路工程概算人员实用参考书，旨在为概算人员解决实际操作过程中经常遇到的问题。本书以中华人民共和国交通部颁布的《公路工程概...
