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

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