吴文俊著；高小山编订2019 年出版234 页ISBN：9787508855530
本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士，第三世界科学院院士，中...
（日）小山龙介，原尻淳一著；阿修菌译2017 年出版207 页ISBN：9787210093862
好创意并非可遇而不可求，小山龙介在本书中以亲切幽默的方式向读者传授了89个引爆创意的小窍门。喝咖啡、散步、洗澡……在作者眼中，生活中再平凡不过的小事都可以变幻成开启创意大门的金钥匙。点燃创意，原来如...
罗伟其主编；许永刚，林文弢，叶小山等副主编2003 年出版361 页ISBN：7500924879
本书包括运动训练；运动生理、生物、医学；体育理论等方面的科学论文集。
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
李邦河，高小山，李文林主编2019 年出版524 页ISBN：9787508855486
本书内容包括：吴文俊的生平、成就与获得的奖励的介绍，陳省身、杨振宁、丘成桐、Jean-PierreBourguignon等76位吴文俊生前同事、学生以及家属的回忆、纪念与缅怀的文章，以及22篇关于吴文俊的新闻报道。这些文章...
（日）小山龙介著；阿修菌译2019 年出版197 页ISBN：7210110976
本书介绍在工作和生活中都能用到的各种整理技巧,作者是日本知名畅销书作家小山龙介。现在职业人群大多处在紧张的工作氛围中，每天需要处理大量信息，如果不总结出一套行之有效的整理方法，就很容易陷入混乱，使工...
吴文俊著；高小山编订2019 年出版288 页ISBN：9787508855516
本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊,研究员,中国科学院数学与系统科学研究...
（日）小山龙介著；李青译2019 年出版177 页ISBN：9787210110958
本书的主题是如何处理工作和学习，教读者如何在职场中不断学习进步。作者是日本畅销书作家小山龙介。在这个瞬息万变的信息时代，职场人士如果缺乏通过学习不断进步的良好习惯，就可能面临被社会淘汰的危机。本书...
竹田阳一（TakedaYouichi），小山雅明（KoyamaMasaaki）著；党蓓蓓译2013 年出版207 页ISBN：9787506065924
本书作者从事广告及企业形象设计相关工作三十余年，在行业内经验丰富。作者针对发达社会消费者习惯及消费观念的变化，即市场细分化的特征，以招牌设计为切入点，导入著名的兰彻斯特定律，并将兰彻斯特定律进行演化，.....
