计算欧几里得
摘要：基于标准面向对象软件开发方法，我们对欧几里得几何学公理进行了分析。我们发现有一个完美的匹配：公理的主要未定义概念可以转化为对象类。结果是一套高效支持复杂几何配置构建的C++类。尽管所有计算都是在浮点算术中进行的，但它们以半决策算法的形式正确地实现了点的相等性测试、点在直线或平面上的位置、直线在平面中的位置、直线之间的平行性、直线与平面之间的平行性以及平面之间的平行性。也就是说，根据计算可行性的基本限制，只有给出确证的负面结果，而正面结果只表示这些条件可能为真。
作者：M.H. van Emden and B. Moa
论文ID：cs/0606036
分类：Computational Geometry
分类简称：cs.CG
提交时间：2009-09-29