论文部分内容阅读
一个简单而基本的事实是:在未来的几十年以至几个世纪内,电子计算机与其说将影响数学的全部,不如说将影响其中被认为是重要的部分。
数学对象的计算机搜索
【摘 要】
：
一个简单而基本的事实是:在未来的几十年以至几个世纪内,电子计算机与其说将影响数学的全部,不如说将影响其中被认为是重要的部分。
【机 构】
：
中国科学院软件研究所
【出 处】
：
自然杂志
【发表日期】
：
1992年3期
其他文献
金融危机已经引起世界各国政府的普遍关注，面对金融危机，世界各国政府所能采取的主要是货币政策和财税政策。由於金融危机在本质上是财富重新分配的危机，因此，作为财富重要分配手
对实数Q≥3,设正整数q≤Q,x表示模q的Dirichlet特征,L(s,X)是对应于X的L-函数,L’(s,X)表示L(s,X)对于复变量s的一阶导数。本文的主要目的是研究均值
发展方程的时间依赖对称有许多形式限制,譬如时间Laurent多项式型对称只能是时间多项式型的,其中一类最重要的时间依赖对称由向量场的生成子(参见文[2])完全确定。本文旨在给
随机动力系统的非马尔科夫效应,可以通过在广义朗之万方程中引入速度记忆核和有色噪声显示出来。本文所构造的布朗运动模型为
今年是中国科学院学部委员、北京大学教授程民德先生的75岁寿辰,也是他投身数学事业50周年纪念。50年来,作为数学家与应用数学家,他在我国开拓了多元调和分析与多元三角逼近