不等式的分拆降维幂方法与可读证明

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

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...

解不等式及证明不等式的方法

本书以通俗的语言、简洁流畅的叙述，针对初等数学中涉及的各种解不等式及证明不等式的方法，分别介绍了解不等式（组）的方法及证明不等式的方法。解不等式的方法包括等价法、交集法、分区法、同底法、定义法、平方...

思考机器探案集 完美的不在场证明 第2版

全国高职高专机电及机器人专业工学结合“十三五”规划教材 传感器与自动检测技术

基于机器学习的物体自动理解技术

本书结合机器学习领域的各种新型算法，对物体的自动理解技术进行了详细的介绍和讲解。第一部分介绍了物体自动理解技术的概念和研究意义；第二部分介绍了多种前沿的、有效的特征提取方法；第三部分在介绍了几种新...

机器人系统实施 制造业中的机器人、自动化和系统集成

本书主要研究工业机器人，首先讲解机器人和周边设备的总体技术问题，继而讨论机器人应用项目的管理和实施，为工业机器人系统的实际应用提供指导。主要内容包括：机器人和自动化技术的发展史；机器人类型和使用机器人...

几何不等式研究与欣赏 下卷

裁判思维与证明方法

几何不等式研究与欣赏 上

本书详细地介绍了几何不等式的相关内容，语言简洁，内容丰富，同时书中配有相应的例题及解答，一题多解，一个不等式多种推广，本书是讲述几何不等式证明方法和技巧比较全面的书籍。本书适合大中学师生以及数学爱好者.....