计算机怎样解几何题 谈谈自动推理 【数理化】

计算机在分析测试中的应用 【数理化】

实用化学化工计算机软件基础 【数理化】

本书介绍了化学化工专业软件的实际应用。

李超代数及相关的代数结构 【数理化】

李超代数在李理论、微分几何及数学物理等领域起着重要的作用。本专著是著者今年来研究李超代数及相关的代数结构的最新研究成果，主要包括李超代数的广义导子超代数、左对称超代数及w-李代数。本书结构安排如...

离散数学结构 理论与应用 theory and applications 翻译版 【数理化】

本书采用一种全新的方法来讲授离散结构课程，共分13章。第1章介绍集合理论、逻辑以及算法等方面的基础知识；第2章介绍整数的性质以及归纳法的原理；第3章和第4章详细介绍了关系、部分有序集以及矩阵；第5章详细介...

ANSYS结构有限元高级分析方法与范例应用 第3版 【数理化】

本书基于结构分析软件ANSYS的最新版本15.0系统介绍了ANSYS结构分析的理论背景及应用方法。本书内容涉及ANSYS结构分析的各个方面，包括结构分析建模思想与方法、结构静/动力计算、非线性分析、稳定性分析、热...

一般力学及其计算机模拟 【数理化】

本书适用于工科各专业的教学需要，是一本简明扼要，重点突出，偏重工程应用的教材。

结构力学 I 第2版 【数理化】

本书是普通高等教育“十五”国家级规划教材，在第1版（教育部“高等教育面向21世纪教学内容和课程体系改革计划”的研究成果和教育部面向21世纪课程教材和教育部工科力学“九五”规划教材）的基础上修订而成，并保...

挑战人脑 计算机在化学中的应用 【数理化】

几何定理计算机证明 【数理化】

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...