variety of universal algebras

用法例句

As a consequence of the above result,we have that implicative semilattices form an algebraic variety.

作为一个推论给出:蕴涵半格构成一个代数簇。

,x n], P=Q the root ideal of Q and J the subset of ring assume Q∩J≠ , then the algebraic varieties of idea quotient V(Q∶J)= .

设Q是多项式环k[x1 ,x2 ,… ,xn]中的P 准素理想 ,P =Q是理想Q的根理想 ,J是k[x1 ,x2 ,… ,xn]的子集 ,若Q∩J≠ ,则Q对J的商理想Q∶J的代数簇V(Q∶J) = ;若Q∩J = ,则Q∶J的代数簇V(Q∶J) =V(Q∶J) ;若P∩J= ,则V(Q∶J) =V(Q) 。

In this paper by applying some equivalent formulas in first-order logic,this problem is transformed into one which checks whether another quasi-algebraic variety is empty.

判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 。

Study on Nef-Value Morphisms of Higher Dimensional Projective Varieties;

关于高维代数簇的nef-值态射的研究

Some Researches on Piecewise Algebraic Curves and Piecewise Algebraic Varieties;

分片代数曲线与分片代数簇的若干研究

Some Researches on Piecewise Algebraic Curves, Piecewise Algebraic Varieties, and Piecewise Semialgebraic Sets;

分片代数曲线、分片代数簇与分片半代数集的某些问题研究

Flip of Small Contraction on Odd-dimensional Projective Variety;

奇维数代数簇上的小收缩映射翻转的存在性

On Small Contraction Maps of Projective Varieties Odd Dimensional;

关于奇数维射影代数簇的小收缩态射的研究

Researches on Multivariate Spline, Multivariate Weak Spline and Piecewise Algebraic Variety;

多元样条、弱样条及分片代数簇若干问题研究

Some Researches on Approximate Implicitization and Piecewise Algebraic Varieties;

近似隐式化和分片代数簇某些问题的研究

Study on the Existion of the Flip of Contraction of Higher Dimensional Projective Algebraic Varieties;

对高维代数簇收缩映射翻转存在性的研究

Some Researches on Multivariate Splines and Computation of Piecewise Algebraic Varieties;

多元样条与分片代数簇计算的若干研究

Structure of the Minimal Dimensional Exceptional Locus of Small Contraction over Projective Varieties of Odd Dimension;

奇维数射影代数簇的小收缩态射的极小维例外集的结构

The Generic Finiteness of the m-canonical Map for 3-folds of General Type;

一般型三维代数簇上的m-典范映射的一般有限性

A Theorem on the Adjoint System for Higher-Dimensional Algebraic Varieties with Ample Vector Bundles;

一个高维代数簇上具有丰富向量丛的伴随系定理

electron-photon shower counter

电子光子簇射计数器

inline data processing

成簇数据处理(在解决一门数据处理时

Identification of Hybrid Offsprings between Wheat and Dasypyrum Villosum

簇毛麦—普通小麦远缘杂交后代的鉴定

Iteration Process for a Finite Family of L-Lipschitzian Mappings

有限簇L-Lipschitzian映象的迭代程序

Inter-Cluster Routing for WSNs and Clustering Data Collection Algorithm under Mobile Environment

无线传感器网络簇间路由和移动环境下的簇型数据收集算法

Most of the reflectors are clustered close to the lunar equator.

大多数反射镜都簇集在月球赤道附近。