能称之为计算几何的大至分如下几类: 1、研究样条函数和及其性质, 包括了样条曲线和曲面及参数曲线和曲面的性质。这一类型的通常牵涉到几何外形的设计,这是对几何外形信息的计算机表示分析,表示和综合。 2、研究计算机图形学,研究其中的几何图像的检索,表示等。 3、研究计算机对于几何问题的算法。这是计算机算法在几何问题(有很多问题可以转化为几何问题)中的应用及发展。 4、研究如何用计算机解几何题,---对几何命题的证明,发现及解决及其逻辑化。这方面我国的数学家吴文俊曾做出了开创性的贡献。 我上面上传的书书名叫《怎样用计算机解几何题--谈谈自动推理》,正是属于第4 类。在此书中介绍了如何用计算机解几何题,以及稍微介绍了一下lisp语言。(非autolisp) 计算几何在70年代开始发展,如今已经成为一门前沿学科。但中国的起步比较晚,关于这方面的论坛更是少见,明经通道提供了一个场所,能为我们大家在此研究和学习,很好。希望能与大家共同进步。 |