研究层的数学领域叫做层论（sheaf theory）。 从概念上讲，层是比较一般、抽象的数学对象，其正确定义是相当技术性的。例如，根据分配给开集的数据类型，可分为集合层、环层等。 相同類型的層之間可以定義映射（或称态射），這使得（同類型的）层...

数学上，空间是指一种具有特殊性质及一些额外结构的集合（有时称为全集）。在初等數學或中學數學中，空間通常指三維空間。 现代数学使用了多种类型的空间，如欧几里得空间、线性空间、拓扑空间、希尔伯特空间或概率空间，但并不存在單稱為「空間」的數學物件。 空间由被视为点的数学对象和点之间的关系组成。...

拔隊員方案。申請若獲得批准，該國會獲邀派出觀察員，了解一屆競賽的運作，再下一屆便能正式獲邀參賽。 IMO的參賽國家及地區，一般會設立數個層級的數學競賽，通過一層層的選拔，選出IMO的代表選手。初級的競賽向當地所有學生公開，有興趣者都可以參加，在初級競賽表現優秀者，會獲邀參加更高級的競賽。成績頂尖的...

数学模型 數學模型（mathematical model）是使用數學來將一個系統簡化後予以描述。數學模型廣泛應用在自然科學（如物理學、化學、生物學、宇宙學）、工程学科（如计算机科学，人工智能）、以及社會科學（如經濟學、心理學、社會學和政治科學）上。科學家和工程師用模型來解释一个系统，研究不同组成部分...

南开大学陈省身数学研究所，前身是南开大学数学研究所，位于南开大学八里台校区省身楼。 1979年，数学家陈省身向好友吴大任和学生吴文俊表达了在天津新建数学研究所的想法，二人均表示认可，然而此前尚无外籍人员担任中国研究机构主管领导的先例，直至1983年邓小平发表“利用外国智力与扩大对外开放”谈话后，中...

泰格馬克聲稱這個假說不包含任何自由變數也不是排除可觀測性。因此，他認為數學宇宙假說比奥卡姆剃刀更好。泰格馬克也考慮過添加第二個假設，添加後的假說是可計算宇宙假說，它說物理的客觀現實的數學結構是被可计算函数定義的。 數學宇宙假說和泰格馬克提出的四層多重宇宙論有關。四層多重宇宙論假設平行宇宙有一個多樣性的層...

在數學中，尤其是代數幾何與複流形理論裡，凝聚層是一類特別容易處理的層。凝聚層的定義指涉到一個環層（例如一個概形的結構層、複流形上的全純函數層或 D-模），此環層蘊藏了所論空間的幾何性質。相關的概念還有擬凝聚層與有限展示層。代數幾何與複解析幾何裡的許多性質與定理都以凝聚層及其上同調表述。 凝聚層...

数学标记语言（Mathematical Markup Language，MathML），是一种基于XML的标准，用来描述数学符号和公式。它的目标是把数学公式集成到万维网和其他文档中。从2015年开始，MathML成为了HTML5的一部分和ISO标准。 由于数学...

数学上，一个芽（germ），或称芽胚，是从一个拓扑空间到另一个拓扑空间的连续函数的一个等价类（例如从实直线到自身），其中定义域中的一个点x0被特别选出。两个函数f和g是等价的，当且仅当存在一个x0的开邻域U，使得对所有x ∈ U,等式f(x) = g(x)成立。所有f在点x0的局部性质仅依赖于f属于哪一个芽。...

数学史的主要研究对象是历史上的数学发现，调查它们的起源，或更广义地说，数学史就是对过去的数学方法与数学符号的探究。 数学起源于人类早期的生产活动，为古中国六艺之一，亦被古希腊学者视为哲学之起点。數學最早用於人們計數、天文、度量甚至是貿易的需要。這些需要可以簡單地被概括為數學...

陈志明（1965年7月—），男，籍贯浙江湖州，生于江苏苏州，中国计算数学家，中国科学院数学与系统科学研究院研究员，中国科学院院士。主要从事数值分析和科学计算的研究。 1986年毕业于南京大学数学系，1989年在中国科学院数学研究所获硕士学位，1992年于德国奥格斯堡大学获博士学位。1992年3月-1...