1.利用有理数对实数逼近的表示方式，给出黎曼函数处处不可导的一种证明，给出单位圆周上的有理点在单位圆上稠密的证明。
2.负数的发现、无理数的发现等这样的例子在数学史上不胜枚举。
3.DB2uDB具有自动备份数据库和整理数据库碎片的能力。
4.本文在一定的假设条件下，建立了适用于竖管降膜传热蒸发传热传质耦合的物理数学模型。