与达利共闯四维空间 100件你不知道的关于艺术的事

艺术馆需要多少名保安?屏幕高宽比是怎么回事？唱歌跑调怎么办？……英国著名科普作家约翰·巴罗继《无之书》《100个你不知道的关于数学的事》《100个你不知道的关于体育的事》后，继续为你奉上有关数学的科普图...

物理发现的艺术 物理探索中的机智运筹

机智、巧妙、敏锐、坚忍、广博、深邃是物理学家共有的研究风格。在物理学发展的历史长河中，一代代物理学家机智运筹，探索出了物理学研究的一些基本方法，而那些伟大的、天才的物理学家，则把这些基本方法创造性地...

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

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

天然产物化学合成 科学和艺术的探索

天然产物合成化学集中体现了现代有机合成的科学成就和艺术创造。《天然产物合成化学：科学和艺术的探索》取材于作者所在课题组20年来在国内外优秀期刊上先后发表的140多篇论文，系统介绍了课题组在六类具有重...

红外大气传输的研究

混沌现象的研究

镎的放射化学研究

数学的发现-对解题的理解、研究的讲授 第2卷

数学的发现-对解题的理解、研究的讲授 第1卷

研究原子能的工具