李祖贤 陈必红 王前 陈东立 publicszpttnetcn 苗邦均 徐利治 张一方 孙广润 张福泰 曲宏宇 张春钺 祁明

超广义函数 无限小数 机器证明 转换原理 调和表示 数学家 反演公式 形式主义 数值计算 湍流模型 一致连续 自然基矢量 类数 标准部分映射 曲率半径 非标准实数 模糊性 平板边界层k-ε模型 计算机语言 无穷小 拓扑群 四色猜想 非标准模型 数学分析 构造主义者 超结构 任意维 微分 判别法 实在论