不等式机器证明与自动发现 【数理化】

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......

不可思议的科学发现 新奇的物理 力与能量的故事 【数理化】

《不可思议的科学》丛书共5本，分别涉及生物、天文、物理、化学四个领域，本书主要讲述了力与能量的故事，选取最激动人心的科学原理来解释世界上的各种神奇事件。书里的各种实例突出了“神奇的科学发现”和“我...

希格斯 上帝粒子的发明与发现 【数理化】

本书是建立在杨－米尔斯场论基础上的标准模型是人类理解物质世界的微观结构及其相互作用力的集大成之作，它的点睛之笔当属布劳特－昂格勒－希格斯机制。该机制保证了电弱规范对称性的自发破缺，不仅使电磁力与弱核力...

化学文献检索与利用 【数理化】

本书介绍了科技文献检索的基础知识和化学专业主要的文献情报源

化学文献检索与利用 高等师范院校通用 【数理化】

学术资料的检索与利用 【数理化】

Internet化学化工文献信息检索与利用 【数理化】

本书系统探讨了Internet环境下化学化工文献信息的检索与利用，由浅入深、从简入繁，全面介绍了国内外重要的文献信息检索平台。内容包括：文献基础知识；重要的化学化工网站；网络搜索引擎；中文期刊和学位论文数据库；S....

电化学传感器与波谱计算机检索 【数理化】

高等数学 1 微积分练习与检索 【数理化】

本书是全国高等教育自学考试练习与检索丛书的一种，主要针对课程为高等数学（一）微积分的内容。

专利文献通报 光学与照相 1984年 第4期 【数理化】