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.
大多数反射镜都簇集在月球赤道附近。