当抽象的几何理论转化为算法程序  

作　　者：顾险峰[1] 

机构地区：[1]美国纽约州立大学石溪分校计算机系

出　　处：《科技导报》2015年第18期102-103,共2页Science & Technology Review

摘　　要：1几何计算化面临的挑战几何计算化对于现代几何理论和计算机科学都提出了强有力的挑战。单纯从理论方面而言,就已经困难重重;考虑到计算机实现,我们不可避免地要渡过许多难以逾越的天堑。1）存在性与构造性证明经典几何理论中的大量存在性证明都是基于抽象的拓扑方法,而非直接的构造法。从证明本身,我们只知道解的存在,但是无法具体找到解。

关 键 词：几何理论 几何计算 算法程序 构造性证明 存在性证明 构造法 蒙日-安培方程 计算机科学 三角剖分 曲面求交 

分 类 号：O18[理学—数学]