交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

量子理论 爱因斯坦与玻尔关于世界本质的伟大论战 【数理化】

量子的发现和量子理论的创立与发展，是20世纪科学的最伟大冒险之一。本书终于可以让读者充分了解和掌握量子与量子物理学的关键概念，还可洞悉在其更广泛的情境设置下的科学发展，其结果是具有挑战性和令人着迷的...

教育神经科学与国民素质提升系列丛书 教育神经科学视野中的数学教育创新 【数理化】

电磁场与波分析中半解析法的理论与应用 【数理化】

本书以电磁场和波为背景，全面介绍半解析法的理论基础、使用方法和实际应用，是2003年获教育部提名国家科学技术自然科学一等奖的项目“电磁场与波分析中半解析法的理论研究”的成果。内容包括：绪论、半解析法的...

微积分原理与严格的理论基础 【数理化】

本书由两部分组成，第一部分以函数的非均匀性两种分类为视角，从研究对象、处理问题的方法、运算之间的联系和定义的数学结构等不同侧面，对导数与积分的内涵和二者之间的互逆关系作了全面分析，并由此提炼出微积分...

传播，以思想的速度 爱因斯坦与引力波 【数理化】

自爱因斯坦提出引力波概念近一个世纪以来，引力波已成为物理学中最具争议的问题。爱因斯坦通过广义相对论，第一次预测了时空形状中未被揭露的涨落；但时至今日，我们仍处于最终观察它们的边缘。本书将带领读者穿越...

二氧化碳化学中的催化剂与催化作用 【数理化】

本书主要介绍了典型的二氧化碳化学中的催化剂与催化作用，催化剂技术的研究进展，以及未来的发展趋势。本书可供高等院校化工与化学专业的教师、高年级本科生及研究生的教学使用，也可供从事化工和能源方面科研、...

不等式的分拆降维幂方法与可读证明 【数理化】

本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...

一维空间上动力系统的绝对连续不变测度与斜率条件 【数理化】

书主要讨论混沌动力系统的遍历性质。首先引入一类相对简单但特殊的系统，讨论其不变测度的存在及稳定性，突出动力系统对斜率条件的要求。接着讨论了这一类系统的稳定性与斜率之间的关系，从算子谱的角度分析了斜...

物理与文化 物理思想与人文精神的融合 【数理化】

本书是倪光炯、王炎森编著的《物理与文化——物理思想与人文精神的融合》（第二版）的修订版。本书保持了前两版被读者广泛认可的特点，同时根据使用本书的任课教师和读者的意见和建议，对全书做了精心修改，补充和精...