张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
张玉，刘平主编；张镭，魏红副主编2014 年出版289 页ISBN：9787551706858
本书为高等机械和仪器类基础课教材，本书采用我国公差、配合和检测新标准，系统地介绍了各种标准的基本概念、基本原理及其应用，概念阐述清楚，难点分析深入，各章均配备了适量的习题，可供读者使用。...
甘永立主编2005 年出版276 页ISBN：7532379809
本书共分绪论，几何量测量基础，孔、轴公差与配合，形状和位置公差与检测，表面粗糙度轮廓及其检测，滚动轴轴的公差与配合，孔、轴检测与量规设计基础，圆铜公差与检测，圆柱螺纹公差与检测，圆柱齿轮公差与检测，键......
李忠科，李福宝著2011 年出版227 页ISBN：9787502455842
本书主要介绍了9个设计实例，分别为：应用线阵CCD的横向光电位移传感器；应用线阵CCD的纵向激光位移传感器；大地倾角测量电路；超声波发射与接收电路；激光测角仪的设计；CCD垂线坐标仪；酒精传感电路；激光对中仪设计......
范真，毛卫平，刘桂玲主编2011 年出版145 页ISBN：9787122115768
本教材目的是指导和帮助学生明确本课程应掌握的内容；通过重难点分析，加深对课程重点和基本内容的理解；通过例题分析，帮助学生掌握正确的解题思路和方法。...
