历史的选择：中共早期领导人纪实.epub 党在幼年时期主要领导人的数度更替，也反映了中国共产党在自身建设方面从不成熟走向成熟的历程。党在初创之时，自身建设相对薄弱，党的思想建设、组织建设、作风建设、制度建设以及反腐倡廉建设都还没有形成一套规范而成熟的、常态化的建设办法和机制，包括党的领导人的产生还带有一定的“随机性”。 壹号仓库 2022年06月04日 0 点赞 0 评论 8351 浏览
不等式机器证明与自动发现.pdf 本书主要介绍作者在不等式机器证明于自动发现方面的工作。分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、不等式机器证明的降维算法等内容。 叁号仓库 2022年07月16日 0 点赞 0 评论 4326 浏览
