语境论的数学哲学 一种对数学本质和实在性研究的新范式 【数理化】

本书为教育部人文社科重点研究基地山西大学科学技术哲学研究中心研究成果，为科学技术哲学文库中的一本。本书以求解当代数学本体论领域的两大难题（①数学的本质是什么？②抽象的数学世界存在吗？它和物质世界的关...

吉姆的科学工厂 疯狂的数学游戏 【数理化】

读者定位高年级小学生。“吉姆的工厂”就是一个科学的小天地。在这里，小学生可以学习科学实验，玩科学魔法，接触数学游戏和“扮演”摩尔摩斯侦探。本系列丛书所有内容均能与小学自然科学教科书相辅相成，是向小学...

平面几何定理的机器证明 【数理化】

电和物质论 【数理化】

一般代数学域和多项式论线性代数李群论 【数理化】

几何定理机器证明的基本原理 初等几何部分 【数理化】

方程求解与机器证明 基于MMP的问题求解 【数理化】

量子机器学习中数据挖掘的量子计算方法 【数理化】

非欧几何、新实证论和几何基础批判 【数理化】

非欧几何、新实证论和几何基础批判 【数理化】