您的当前位置：领域 > 数学 领域
地图数学模型 （数学逻辑方法）
地图数学模型是描绘地图内容和制作过程的数学逻辑方法。建立完善和实用地图数学模型是
最优序贯检验 （数学术语）
最优序贯检验(optimal sequential test)是指两类错误概率分
同伦提升问题 （数学术语）
同伦提升问题(homotopy lift problem)是同伦论的基本问题之一
狄利克雷原理 （数学名词）
狄利克雷原理，在数学中，狄利克雷原理(Dirichlet principle)是
空间拓扑关系 （数学名词）
空间拓扑关系描述的是基本的空间目标点、线、面之间的邻接、关联和包含关系。GIS传
严格非回文数 （数学术语）
严格非回文数（strictlynon-palindromicnumber）是指一
严格拟凹函数 （数学术语）
严格拟凹函数（strictly quasiconcave function）是凹
本原元素定理 （数学术语）
在数学中，本原元素定理精确刻画了什么时候对于一个域扩张E/F，E可以表示为F(α
霍奇分解定理 （数学术语）
霍奇分解定理是一个由数学家霍奇提出的关于微分p形式空间问题的定理，是微分p形式空
MySQLi （数学名词）
mysqli 扩展允许用户访问由 MySQL 4.1 或更高版本所提供的功能。经
过程数学模型 （数学术语）
过程数学模型，数学术语。过程数学模型process mathcmati}al m
李代数上同调 （数学术语）
李代数上同调是李代数的一种上同调理论，由谢瓦莱和艾伦伯格为了对紧李群的拓扑空间的
维维亚尼定理 （数学术语）
维维亚尼定理（Viviani's theorem）是以温琴佐·维维亚尼命名的一种
化学预处理剂 （数学术语）
化学预处理剂是数学术语。通过化学方 法在金属表面.乡几形成非金属覆膜所使用的化学
勒贝格内测度 （数理科学术语）
勒贝格内测度是勒贝格(Lebesgue，H.L.)提出他的测度定义时所用的一个辅
弗拉蒂尼引理 （数学术语）
在有限群论，弗拉蒂尼引理指：若有限群G有正规子群H，H有西罗子群P，则G=NG(
电子束曝光机 （用于数学领域的分析仪器）
电子束曝光机是一种用于数学领域的分析仪器，于2007年01月01日启用。型号：日
第一可数公理 （数学名词）
第一可数公理（first axiom of countability）是1993
唯一分解整环 （数学概念）
唯一分解整环（unique factorization domain）是使得每个
豪斯多夫距离 （数学术语）
豪斯多夫距离量度度量空间中真子集之间的距离。Hausdorff距离是另一种可以应
完全正则空间 （数学名词）
完全正则空间（completely regular space）是1993年公布
部分等距算子 （数理科学术语）
部分等距算子，设H，G是希尔伯特空间，T是H到G的有界线性算子。如果T在H的子空
控制收敛定理 （数学名词）
控制收敛定理（dominated convergence theorem）是19
平行度公差带 （数学名词）
当被测要素为平面时，平行度公差带是指距离为公差值t且平行于基准要素（平面或直线）
第二可数公理 （数学名词）
第二可数公理（second axiom of countability）是199
字符串运算符 （数学术语）
字符串运算符，有两个字符串运算符。第一个是连接运算符（“.”），它返回其左右参数
连续随机变量 （数学名词）
连续随机变量（continuous random variable）是1993年
第一同构定理 （数学术语）
第一同构定理包含三个定理，在泛代数领域有广泛的应用。它们证明了一些自然同构的存在
初等复变函数 （数学术语）
初等复变函数是实变量初等函数在复数域中的推广。复变量的初等函数的定义形式上与初等
数理模型分析 （数学术语）
数理模型分析方法是指在经济分析过程中，运用数学符号和数字算式的推导来研究和表示经
形式伴随方程 （数理科学名词）
形式伴随方程（formal adjoint equation）是在Rn中为确定常
算术表示定理 （数学术语）
算术表示定理是美籍奥地利数学家哥德(Gode1，K.)于1931年证明的.。算术
化学不稳定性 （数学术语）
化学不稳定性是数学术语。有些物理化学系统在 某些条件下会发生失稳现象，即微小的扰
塞尔对偶定理 （数学术语）
塞尔对偶定理（Serre duality theorem）是复流形上全纯向量丛与
高级群体定位 （集体概念或模糊数学的手法）
高级群体定位是指借助群体的声望、集体概念或模糊数学的手法，打出入会限制严格的俱乐
可乘线性泛函 （数学术语）
可乘线性泛函（multiplicative linear function）是定
蒙特卡罗估计 （数学名词）
蒙特卡罗估计（Monte Carlo estimator）是1993年经全国科学
可逆线性算子 （数理科学术语）
可逆线性算子是一种具有有界逆映射的线性算子，是线性代数中可逆矩阵概念的一种推广。
多重线性映射 （数学名词）
多重线性映射（multilinear mapping）是1993年公布的数学名词
谢泼德矩校正 （数理科学术语）
谢泼德矩校正是对频率分布矩的偏差，仅适合用于以下情形：1. 分布变量是连续型变量