计算机辅助几何设计的数学方法

设计与制造用的计算几何学

用三角、解析几何、复数、向量计算解数学竞赛几何题

本书共4章，包括：解平面几何证明题，解平面几个计算题、定值问题、极值问题、求轨迹、证明动直线（圆）过定点或切于定圆、动圆与定直线相切、求变元的取值范围，解立体几何，解解析几何。最后又提供了8个附录，以丰......

计算几何及应用

本书对计算几何各类基本问题作了叙述。着重算法设计及分析，对计算几何的主要问题均有仔细说明，对执行该算法时的时间复杂性及空间复杂性都有详细及严格的分析，还列举了若干重要应用及研究特例。...

计算机怎样解几何题 谈谈自动推理

基础素描全程训练 入门篇 下，石膏几何体

本书以多组课例较为详细地介绍了多种石膏几何体的具体画法。

Common law aboriginal title

几何定理计算机证明

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

计算机视觉中的多视图几何

高中数学奥林匹克竞赛 几何篇

本书将高中数学奥林匹克的几何部分分为立体几何、平面解析几何、平面几何、组合几何四个专题，另附近几年部分省、市和全国高中数学联赛题。全书共36 套题。通过这一系列的综合训练，可激发学生的学习兴趣。...