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

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

北京大兴国际机场的几何探秘

号称“新世界七大奇迹”之首的北京大兴国际机场,将几何学中的黎曼叶状结构发挥到极致.自由弯曲的曲面,肆意张扬的曲线,是数学让建筑大师的伟大构想得以实现,在建筑中更能窥见数学应用的奥妙玄机.