基于半导体量子点的量子计算与量子信息 【数理化】

本书以清晰的物理图像和丰富的实验结果，比较全面地介绍了基于半导体量子点的量子计算和量子信息方面的最新研究进展。内容有：半导体量子点形貌结构和基本特性介绍；激子量子比特旋转和量子逻辑运算等量子计算方...

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

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

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

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

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

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

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

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

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

变形原子核结构与性质的理论研究 【数理化】

本专著首先介绍原子核形状研究的现状，然后介绍研究原子核形状的几个常用的模型及其应用，主要给出作者建立并发展起来的“基于投影壳模型的位能面理论”及其应用。主要工作都是作者近10多年的科研工作，包括新方...

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

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

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

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

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

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